typenum
macro_rules! assert_type_eq { ($a:ty, $b:ty) => { ... }; }
Asserts that two types are the same.