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.
5 #![feature(min_specialization)]
6 #![feature(rustc_attrs)]
8 #[rustc_specialization_trait]
9 trait SpecMarker: Default {
13 impl<T: Default> SpecMarker for T {
14 //~^ ERROR cannot specialize