src/test/ui/coherence/coherence-overlap-messages.rs

   1 trait Foo { fn foo() {} }
   2
   3 impl<T> Foo for T {}
   4 impl<U> Foo for U {}
   5 //~^ ERROR E0119
   6
   7
   8 trait Bar { fn bar() {} }
   9
  10 impl<T> Bar for (T, u8) {}
  11 impl<T> Bar for (u8, T) {}
  12 //~^ ERROR E0119
  13
  14 trait Baz<T> { fn baz() {} }
  15
  16 impl<T> Baz<u8> for T {}
  17 impl<T> Baz<T> for u8 {}
  18 //~^ ERROR E0119
  19
  20 trait Quux<U, V> { fn quux() {} }
  21
  22 impl<T, U, V> Quux<U, V> for T {}
  23 impl<T, U> Quux<U, U> for T {}
  24 //~^ ERROR E0119
  25 impl<T, V> Quux<T, V> for T {}
  26 //~^ ERROR E0119
  27
  28 fn main() {}