bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #63419 - RalfJung:typeid, r=alexcrichton

Browse source 
check against more collisions for TypeId of fn pointer

Cc https://github.com/rust-lang/rfcs/pull/2738#issuecomment-519923318
This commit is contained in:
Mazdak Farrokhzad 2019-08-10 08:13:24 +02:00 • committed by GitHub
commit a029ce80a6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 14 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

18
src/test/ui/typeid-intrinsic.rs
View file

@ -78,10 +78,20 @@ pub fn main() {
assert_eq!(TypeId::of::<other1::U32Iterator>(), other1::id_u32_iterator());
assert_eq!(other1::id_i32_iterator(), other2::id_i32_iterator());
assert_eq!(other1::id_u32_iterator(), other2::id_u32_iterator());
assert!(other1::id_i32_iterator() != other1::id_u32_iterator());
assert!(TypeId::of::<other1::I32Iterator>() != TypeId::of::<other1::U32Iterator>());
assert_ne!(other1::id_i32_iterator(), other1::id_u32_iterator());
assert_ne!(TypeId::of::<other1::I32Iterator>(), TypeId::of::<other1::U32Iterator>());
// Check fn pointer against collisions
assert!(TypeId::of::<fn(fn(A) -> A) -> A>() !=
TypeId::of::<fn(fn() -> A, A) -> A>());
assert_ne!(
TypeId::of::<fn(fn(A) -> A) -> A>(),
TypeId::of::<fn(fn() -> A, A) -> A>()
);
assert_ne!(
TypeId::of::<for<'a> fn(&'a i32) -> &'a i32>(),
TypeId::of::<for<'a> fn(&'a i32) -> &'static i32>()
);
assert_ne!(
TypeId::of::<for<'a, 'b> fn(&'a i32, &'b i32) -> &'a i32>(),
TypeId::of::<for<'a, 'b> fn(&'b i32, &'a i32) -> &'a i32>()
);
}