]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | // Test that specializing on two type parameters being equal is not allowed. |
2 | ||
3 | #![feature(min_specialization)] | |
4 | ||
5 | trait X { | |
6 | fn f(); | |
7 | } | |
8 | ||
9 | impl<T> X for T { | |
10 | default fn f() {} | |
11 | } | |
12 | impl<T> X for (T, T) { | |
13 | //~^ ERROR specializing impl repeats parameter `T` | |
14 | fn f() {} | |
15 | } | |
16 | ||
17 | fn main() {} |