]>
Commit | Line | Data |
---|---|---|
c34b1796 AL |
1 | // Test that we are able to introduce a negative constraint that |
2 | // `MyType: !MyTrait` along with other "fundamental" wrappers. | |
223e47cc | 3 | |
dc9dc135 | 4 | // check-pass |
c34b1796 | 5 | // aux-build:coherence_copy_like_lib.rs |
223e47cc | 6 | |
c34b1796 AL |
7 | extern crate coherence_copy_like_lib as lib; |
8 | ||
9 | struct MyType { x: i32 } | |
10 | ||
11 | // naturally, legal | |
12 | impl lib::MyCopy for MyType { } | |
13 | ||
a1dfa0c6 | 14 | fn main() { } |