macro_rules! assert_type {
    ($a:ty) => { ... };
}
Expand description

Asserts that a type is True, aka B1.