Macro assert_types_eq 

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

Verifies equality between two types at compile-time.