]>
Commit | Line | Data |
---|---|---|
e9174d1e SL |
1 | // Test that we give suitable error messages when the user attempts to |
2 | // impl a trait `Trait` for its own object type. | |
85aaf69f | 3 | |
e9174d1e SL |
4 | // If the trait is not object-safe, we give a more tailored message |
5 | // because we're such schnuckels: | |
6 | trait NotObjectSafe { fn eq(&self, other: Self); } | |
dc9dc135 | 7 | impl NotObjectSafe for dyn NotObjectSafe { } |
60c5eb7d | 8 | //~^ ERROR E0038 |
223e47cc | 9 | |
e9174d1e | 10 | fn main() { } |