Macro assert_type_err 

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