src/test/ui/traits/negative-impls/negative-specializes-positive-item.rs

   1 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
   2 #![feature(negative_impls)]
   3
   4 // Negative impl for u32 cannot "specialize" the base impl.
   5 trait MyTrait {
   6     fn foo();
   7 }
   8 impl<T> MyTrait for T {
   9     default fn foo() {}
  10 }
  11 impl !MyTrait for u32 {} //~ ERROR E0751
  12
  13 fn main() {}