]>
Commit | Line | Data |
---|---|---|
ba9703b0 | 1 | #![feature(negative_impls)] |
85aaf69f | 2 | |
c34b1796 | 3 | use std::marker::Copy; |
85aaf69f | 4 | |
83c7162d | 5 | impl Copy for i32 {} |
60c5eb7d XL |
6 | //~^ ERROR E0119 |
7 | //~| ERROR E0117 | |
85aaf69f SL |
8 | enum TestE { |
9 | A | |
10 | } | |
11 | ||
12 | struct MyType; | |
13 | ||
14 | struct NotSync; | |
15 | impl !Sync for NotSync {} | |
16 | ||
c34b1796 AL |
17 | impl Copy for TestE {} |
18 | impl Clone for TestE { fn clone(&self) -> Self { *self } } | |
85aaf69f | 19 | |
c34b1796 | 20 | impl Copy for MyType {} |
85aaf69f | 21 | |
c34b1796 | 22 | impl Copy for &'static mut MyType {} |
60c5eb7d | 23 | //~^ ERROR E0206 |
c34b1796 | 24 | impl Clone for MyType { fn clone(&self) -> Self { *self } } |
85aaf69f | 25 | |
c34b1796 | 26 | impl Copy for (MyType, MyType) {} |
60c5eb7d XL |
27 | //~^ ERROR E0206 |
28 | //~| ERROR E0117 | |
c34b1796 | 29 | impl Copy for &'static NotSync {} |
60c5eb7d | 30 | //~^ ERROR E0119 |
c34b1796 | 31 | impl Copy for [MyType] {} |
60c5eb7d XL |
32 | //~^ ERROR E0206 |
33 | //~| ERROR E0117 | |
c34b1796 | 34 | impl Copy for &'static [NotSync] {} |
60c5eb7d XL |
35 | //~^ ERROR E0119 |
36 | //~| ERROR E0117 | |
85aaf69f | 37 | fn main() { |
85aaf69f | 38 | } |