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

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