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

   1 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
   2 #![feature(negative_impls)]
   3
   4 // Test a negative impl that "specializes" another negative impl.
   5 //
   6 // run-pass
   7
   8 trait MyTrait {}
   9
  10 impl<T> !MyTrait for T {}
  11 impl !MyTrait for u32 {}
  12
  13 fn main() {}