src/test/ui/coherence/coherence-negative-inherent.rs

   1 // check-pass
   2
   3 #![feature(negative_impls)]
   4 #![feature(rustc_attrs)]
   5 #![feature(with_negative_coherence)]
   6
   7 #[rustc_strict_coherence]
   8 trait Foo {}
   9
  10 impl !Foo for u32 {}
  11
  12 struct MyStruct<T>(T);
  13
  14 impl<T: Foo> MyStruct<T> {
  15     fn method(&self) {}
  16 }
  17
  18 impl MyStruct<u32> {
  19     fn method(&self) {}
  20 }
  21
  22 fn main() {}