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
   7 trait A {}
   8 trait B {}
   9
  10 impl !A for u32 {}
  11
  12 trait C {}
  13 #[rustc_strict_coherence]
  14 impl<T: A + B> C for T {}
  15 #[rustc_strict_coherence]
  16 impl C for u32 {}
  17
  18 fn main() {}