src/test/ui/traits/negative-impls/negative-default-impls.rs

   1 #![feature(negative_impls)]
   2 #![feature(specialization)]
   3 //~^ WARN the feature `specialization` is incomplete
   4
   5 trait MyTrait {
   6     type Foo;
   7 }
   8
   9 default impl !MyTrait for u32 {} //~ ERROR negative impls cannot be default impls
  10
  11 fn main() {}