Macro typenum::assert_type_eq

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

Asserts that two types are the same.