src/test/ui/coherence/coherence-overlap-negate-alias-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 trait AB = A + B;
  11
  12 impl !A for u32 {}
  13
  14 #[rustc_strict_coherence]
  15 trait C {}
  16 impl<T: AB> C for T {}
  17 impl C for u32 {}
  18
  19 fn main() {}