blob: cda811144c76d56bc6d48d60ce94a3797f5bd79f [file] [log] [blame]
// known-bug: #110395
#![feature(const_type_id)]
#![feature(const_trait_impl, effects)]
use std::any::TypeId;
const fn main() {
assert!(TypeId::of::<u8>() == TypeId::of::<u8>());
assert!(TypeId::of::<()>() != TypeId::of::<u8>());
const _A: bool = TypeId::of::<u8>() < TypeId::of::<u16>();
// can't assert `_A` because it is not deterministic
}