src/test/ui/overlap-doesnt-conflict-with-specialization.rs

   1 // run-pass
   2
   3 #![feature(marker_trait_attr)]
   4 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
   5
   6 #[marker]
   7 trait MyMarker {}
   8
   9 impl<T> MyMarker for T {}
  10 impl<T> MyMarker for Vec<T> {}
  11
  12 fn foo<T: MyMarker>(t: T) -> T {
  13     t
  14 }
  15
  16 fn main() {
  17     assert_eq!(1, foo(1));
  18     assert_eq!(2.0, foo(2.0));
  19     assert_eq!(vec![1], foo(vec![1]));
  20 }