2 #![feature(const_type_id)]
3 #![feature(const_trait_impl)]
8 assert!(TypeId::of::<u8>() == TypeId::of::<u8>());
9 assert!(TypeId::of::<()>() != TypeId::of::<u8>());
10 const _A: bool = TypeId::of::<u8>() < TypeId::of::<u16>();
11 // can't assert `_A` because it is not deterministic