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

   1 // run-pass
   2
   3 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
   4
   5 // Test that you can specialize via an explicit trait hierarchy
   6
   7 // FIXME: this doesn't work yet...
   8
   9 trait Parent {}
  10 trait Child: Parent {}
  11
  12 trait Foo {}
  13
  14 impl<T: Parent> Foo for T {}
  15 impl<T: Child> Foo for T {}
  16
  17 fn main() {}