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