]>
Commit | Line | Data |
---|---|---|
54a0048b | 1 | // Make sure specialization cannot change impl polarity |
b039eaaf | 2 | |
fc512014 | 3 | #![feature(auto_traits)] |
ba9703b0 | 4 | #![feature(negative_impls)] |
f035d41b | 5 | #![feature(specialization)] //~ WARN the feature `specialization` is incomplete |
b039eaaf | 6 | |
2c00a5a8 | 7 | auto trait Foo {} |
54a0048b SL |
8 | |
9 | impl<T> Foo for T {} | |
ba9703b0 | 10 | impl !Foo for u8 {} //~ ERROR E0751 |
54a0048b | 11 | |
2c00a5a8 | 12 | auto trait Bar {} |
54a0048b SL |
13 | |
14 | impl<T> !Bar for T {} | |
ba9703b0 | 15 | impl Bar for u8 {} //~ ERROR E0751 |
54a0048b SL |
16 | |
17 | fn main() {} |