]>
Commit | Line | Data |
---|---|---|
ba9703b0 | 1 | #![feature(negative_impls)] |
2c00a5a8 | 2 | #![feature(specialization)] |
85aaf69f | 3 | |
2c00a5a8 XL |
4 | struct S; |
5 | struct Z; | |
6 | ||
74b04a01 | 7 | default impl S {} //~ ERROR inherent impls cannot be `default` |
2c00a5a8 XL |
8 | |
9 | default unsafe impl Send for S {} //~ ERROR impls of auto traits cannot be default | |
10 | default impl !Send for Z {} //~ ERROR impls of auto traits cannot be default | |
ba9703b0 | 11 | //~^ ERROR negative impls cannot be default impls |
2c00a5a8 XL |
12 | |
13 | trait Tr {} | |
ba9703b0 | 14 | default impl !Tr for S {} //~ ERROR negative impls cannot be default impls |
b7449926 XL |
15 | |
16 | fn main() {} |