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

   1 #![feature(specialization)]
   2 #![feature(optin_builtin_traits)]
   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 E0748
  12
  13 fn main() {}