src/test/ui/specialization/specialization-polarity.rs

   1 // Make sure specialization cannot change impl polarity
   2
   3 #![feature(optin_builtin_traits)]
   4 #![feature(negative_impls)]
   5 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
   6
   7 auto trait Foo {}
   8
   9 impl<T> Foo for T {}
  10 impl !Foo for u8 {} //~ ERROR E0751
  11
  12 auto trait Bar {}
  13
  14 impl<T> !Bar for T {}
  15 impl Bar for u8 {} //~ ERROR E0751
  16
  17 fn main() {}