src/test/ui/specialization/specialization-overlap.rs

   1 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
   2
   3 trait Foo { fn foo() {} }
   4 impl<T: Clone> Foo for T {}
   5 impl<T> Foo for Vec<T> {} //~ ERROR E0119
   6
   7 trait Bar { fn bar() {} }
   8 impl<T> Bar for (T, u8) {}
   9 impl<T> Bar for (u8, T) {} //~ ERROR E0119
  10
  11 trait Baz<U> { fn baz() {} }
  12 impl<T> Baz<T> for u8 {}
  13 impl<T> Baz<u8> for T {} //~ ERROR E0119
  14
  15 trait Qux { fn qux() {} }
  16 impl<T: Clone> Qux for T {}
  17 impl<T: Eq> Qux for T {} //~ ERROR E0119
  18
  19 fn main() {}