1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
// run-pass
// Test that type IDs correctly account for higher-rank lifetimes
// Also acts as a regression test for an ICE (issue #19791)
use std::any::{Any, TypeId};
struct Struct<'a>(#[allow(unused_tuple_struct_fields)] &'a ());
trait Trait<'a> {}
fn main() {
// Bare fns
{
let a = TypeId::of::<fn(&'static isize, &'static isize)>();
let b = TypeId::of::<for<'a> fn(&'static isize, &'a isize)>();
let c = TypeId::of::<for<'a, 'b> fn(&'a isize, &'b isize)>();
let d = TypeId::of::<for<'a, 'b> fn(&'b isize, &'a isize)>();
assert!(a != b);
assert!(a != c);
assert!(a != d);
assert!(b != c);
assert!(b != d);
assert_eq!(c, d);
// Make sure De Bruijn indices are handled correctly
let e = TypeId::of::<for<'a> fn(fn(&'a isize) -> &'a isize)>();
let f = TypeId::of::<fn(for<'a> fn(&'a isize) -> &'a isize)>();
assert!(e != f);
// Make sure lifetime parameters of items are not ignored.
let g = TypeId::of::<for<'a> fn(&'a dyn Trait<'a>) -> Struct<'a>>();
let h = TypeId::of::<for<'a> fn(&'a dyn Trait<'a>) -> Struct<'static>>();
let i = TypeId::of::<for<'a, 'b> fn(&'a dyn Trait<'b>) -> Struct<'b>>();
assert!(g != h);
assert!(g != i);
assert!(h != i);
// Make sure lifetime anonymization handles nesting correctly
let j = TypeId::of::<fn(for<'a> fn(&'a isize) -> &'a usize)>();
let k = TypeId::of::<fn(for<'b> fn(&'b isize) -> &'b usize)>();
assert_eq!(j, k);
}
// Boxed unboxed closures
{
let a = TypeId::of::<Box<dyn Fn(&'static isize, &'static isize)>>();
let b = TypeId::of::<Box<dyn for<'a> Fn(&'static isize, &'a isize)>>();
let c = TypeId::of::<Box<dyn for<'a, 'b> Fn(&'a isize, &'b isize)>>();
let d = TypeId::of::<Box<dyn for<'a, 'b> Fn(&'b isize, &'a isize)>>();
assert!(a != b);
assert!(a != c);
assert!(a != d);
assert!(b != c);
assert!(b != d);
assert_eq!(c, d);
// Make sure De Bruijn indices are handled correctly
let e = TypeId::of::<Box<dyn for<'a> Fn(Box<dyn Fn(&'a isize) -> &'a isize>)>>();
let f = TypeId::of::<Box<dyn Fn(Box<dyn for<'a> Fn(&'a isize) -> &'a isize>)>>();
assert!(e != f);
}
// Raw unboxed closures
// Note that every unboxed closure has its own anonymous type,
// so no two IDs should equal each other, even when compatible
{
let a = id(|_: &isize, _: &isize| {});
let b = id(|_: &isize, _: &isize| {});
assert!(a != b);
}
fn id<T:Any>(_: T) -> TypeId {
TypeId::of::<T>()
}
}
|
