Macro assert_ty 

macro_rules! assert_ty {
    ($a: ty, $b: ty) => { ... };
}