tests/ui/auto-traits/typeck-default-trait-impl-constituent-types.rs

   1 #![feature(auto_traits)]
   2 #![feature(negative_impls)]
   3
   4 auto trait MyTrait {}
   5
   6 impl<T> !MyTrait for *mut T {}
   7
   8 struct MyS;
   9
  10 struct MyS2;
  11
  12 impl !MyTrait for MyS2 {}
  13
  14 struct MyS3;
  15
  16 fn is_mytrait<T: MyTrait>() {}
  17
  18 fn main() {
  19     is_mytrait::<MyS>();
  20
  21     is_mytrait::<MyS2>();
  22     //~^ ERROR `MyS2: MyTrait` is not satisfied
  23 }