1 // Make sure specialization cannot change impl polarity
3 #![feature(auto_traits)]
4 #![feature(negative_impls)]
5 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
10 impl !Foo for u8 {} //~ ERROR E0751
15 impl Bar for u8 {} //~ ERROR E0751