| // Make sure specialization cannot change impl polarity | |
| #![feature(optin_builtin_traits)] | |
| #![feature(specialization)] | |
| auto trait Foo {} | |
| impl<T> Foo for T {} | |
| impl !Foo for u8 {} //~ ERROR E0119 | |
| auto trait Bar {} | |
| impl<T> !Bar for T {} | |
| impl Bar for u8 {} //~ ERROR E0119 | |
| fn main() {} |