macro_rules! require_type_equality {
    ($t: ty, $nt: ty) => { ... };
}