1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
// Test that specializing on a trait is not allowed in general. #![feature(min_specialization)] trait SpecMarker {} trait X { fn f(); } impl<T> X for T { default fn f() {} } impl<T: SpecMarker> X for T { //~^ ERROR cannot specialize on trait `SpecMarker` fn f() {} } fn main() {}