src/test/ui/specialization/min_specialization/specialization_super_trait.rs

   1 // Test that supertraits can't be assumed in impls of
   2 // `rustc_specialization_trait`, as such impls would
   3 // allow specializing on the supertrait.
   4
   5 #![feature(min_specialization)]
   6 #![feature(rustc_attrs)]
   7
   8 #[rustc_specialization_trait]
   9 trait SpecMarker: Default {
  10     fn f();
  11 }
  12
  13 impl<T: Default> SpecMarker for T {
  14     //~^ ERROR cannot specialize
  15     fn f() {}
  16 }
  17
  18 fn main() {}