1 #![feature(optin_builtin_traits)]
8 //~^ ERROR inherent impls cannot be negative
12 unsafe impl !Send for TestType {}
13 //~^ ERROR negative impls cannot be unsafe
14 impl !TestTrait for TestType {}
15 //~^ ERROR negative impls are only allowed for auto traits
17 struct TestType2<T>(T);
19 impl<T> !TestType2<T> {}
20 //~^ ERROR inherent impls cannot be negative
22 unsafe impl<T> !Send for TestType2<T> {}
23 //~^ ERROR negative impls cannot be unsafe
24 impl<T> !TestTrait for TestType2<T> {}
25 //~^ ERROR negative impls are only allowed for auto traits