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

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