Macro assert_types_eq 

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