mirror of https://github.com/rust-lang/rust
13 lines
363 B
Rust
13 lines
363 B
Rust
//@ 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
|
|
}
|