1 #![feature(negative_impls)]
2 #![allow(order_dependent_trait_objects)]
4 // Check that the issue #33140 hack does not allow unintended things.
9 impl Trait0 for dyn Send {}
10 impl Trait0 for dyn Send {}
12 // Problem 1: associated types
17 impl Trait1 for dyn Send {}
18 impl Trait1 for dyn Send {}
21 // Problem 2: negative impl
24 impl Trait2 for dyn Send {}
25 impl !Trait2 for dyn Send {}
28 // Problem 3: type parameter
29 trait Trait3<T: ?Sized> {}
31 impl Trait3<dyn Sync> for dyn Send {}
32 impl Trait3<dyn Sync> for dyn Send {}
35 // Problem 4a: not a trait object - generic
38 impl<T: ?Sized> Trait4a for T {}
39 impl Trait4a for dyn Send {}
42 // Problem 4b: not a trait object - misc
45 impl Trait4b for () {}
46 impl Trait4b for () {}
49 // Problem 4c: not a principal-less trait object
52 impl Trait4c for dyn Trait1 + Send {}
53 impl Trait4c for dyn Trait1 + Send {}
56 // Problem 4d: lifetimes
59 impl<'a> Trait4d for dyn Send + 'a {}
60 impl<'a> Trait4d for dyn Send + 'a {}
63 // Problem 5: where-clauses
66 impl Trait5 for dyn Send {}
67 impl Trait5 for dyn Send where u32: Copy {}