Macro assert_type 

macro_rules! assert_type {
    ({$($attr:tt)*}, $expected:expr) => { ... };
}