src/test/ui/issues/issue-29516.rs

   1 // check-pass
   2 #![feature(optin_builtin_traits)]
   3 #![feature(negative_impls)]
   4
   5 auto trait NotSame {}
   6
   7 impl<A> !NotSame for (A, A) {}
   8
   9 trait OneOfEach {}
  10
  11 impl<A> OneOfEach for (A,) {}
  12
  13 impl<A, B> OneOfEach for (A, B)
  14 where
  15     (B,): OneOfEach,
  16     (A, B): NotSame,
  17 {
  18 }
  19
  20 fn main() {}