src/test/ui/coherence/coherence-overlap-negate-strict.rs

   1 // check-pass
   2
   3 #![feature(negative_impls)]
   4 #![feature(rustc_attrs)]
   5 #![feature(trait_alias)]
   6 #![feature(with_negative_coherence)]
   7
   8 trait A {}
   9 trait B {}
  10
  11 impl !A for u32 {}
  12
  13 #[rustc_strict_coherence]
  14 trait C {}
  15 impl<T: A + B> C for T {}
  16 impl C for u32 {}
  17
  18 fn main() {}