[rustc.git] / src / test / ui / consts / const-typeid-of-rpass.rs

// run-pass
#![feature(core_intrinsics)]

use std::any::TypeId;

struct A;

static ID_ISIZE: TypeId = TypeId::of::<isize>();

pub fn main() {
    assert_eq!(ID_ISIZE, TypeId::of::<isize>());

    // sanity test of TypeId
    const T: (TypeId, TypeId, TypeId) = (TypeId::of::<usize>(),
                     TypeId::of::<&'static str>(),
                     TypeId::of::<A>());
    let (d, e, f) = (TypeId::of::<usize>(), TypeId::of::<&'static str>(),
                     TypeId::of::<A>());

    assert!(T.0 != T.1);
    assert!(T.0 != T.2);
    assert!(T.1 != T.2);

    assert_eq!(T.0, d);
    assert_eq!(T.1, e);
    assert_eq!(T.2, f);

    // Check fn pointer against collisions
    const F: (TypeId, TypeId) = (TypeId::of::<fn(fn(A) -> A) -> A>(),
            TypeId::of::<fn(fn() -> A, A) -> A>());

    assert!(F.0 != F.1);
}
Commit	Line	Data
b7449926	1	// run-pass
2c00a5a8	2	#![feature(core_intrinsics)]
2c00a5a8 XL	3
	4	use std::any::TypeId;
	5
	6	struct A;
	7
	8	static ID_ISIZE: TypeId = TypeId::of::<isize>();
	9
	10	pub fn main() {
	11	assert_eq!(ID_ISIZE, TypeId::of::<isize>());
	12
	13	// sanity test of TypeId
	14	const T: (TypeId, TypeId, TypeId) = (TypeId::of::<usize>(),
	15	TypeId::of::<&'static str>(),
	16	TypeId::of::<A>());
	17	let (d, e, f) = (TypeId::of::<usize>(), TypeId::of::<&'static str>(),
	18	TypeId::of::<A>());
	19
	20	assert!(T.0 != T.1);
	21	assert!(T.0 != T.2);
	22	assert!(T.1 != T.2);
	23
	24	assert_eq!(T.0, d);
	25	assert_eq!(T.1, e);
	26	assert_eq!(T.2, f);
	27
	28	// Check fn pointer against collisions
	29	const F: (TypeId, TypeId) = (TypeId::of::<fn(fn(A) -> A) -> A>(),
	30	TypeId::of::<fn(fn() -> A, A) -> A>());
	31
	32	assert!(F.0 != F.1);
	33	}