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

   1 #![feature(negative_impls)]
   2 #![feature(rustc_attrs)]
   3 #![feature(trait_alias)]
   4
   5 trait A {}
   6 trait B {}
   7 trait AB = A + B;
   8
   9 impl !A for u32 {}
  10
  11 trait C {}
  12 #[rustc_strict_coherence]
  13 impl<T: AB> C for T {}
  14 #[rustc_strict_coherence]
  15 impl C for u32 {}
  16 //~^ ERROR: conflicting implementations of trait `C` for type `u32` [E0119]
  17 // FIXME this should work, we should implement an `assemble_neg_candidates` fn
  18
  19 fn main() {}