src/test/ui/coherence/coherence-overlap-all-t-and-tuple.rs

   1 // Check that we detect an overlap here in the case where:
   2 //
   3 //    for some type X:
   4 //      T = (X,)
   5 //      T11 = X, U11 = X
   6 //
   7 // Seems pretty basic, but then there was issue #24241. :)
   8
   9 trait From<U> {
  10     fn foo() {}
  11 }
  12
  13 impl <T> From<T> for T {
  14 }
  15
  16 impl <T11, U11> From<(U11,)> for (T11,) {
  17 //~^ ERROR E0119
  18 }
  19
  20 fn main() { }