1error[E0119]: conflicting implementations of trait `C` for type `u32`
2  --> $DIR/coherence-overlap-negate-alias-strict.rs:15:1
3   |
4LL | impl<T: AB> C for T {}
5   | ------------------- first implementation here
6LL | #[rustc_strict_coherence]
7LL | impl C for u32 {}
8   | ^^^^^^^^^^^^^^ conflicting implementation for `u32`
9
10error: aborting due to previous error
11
12For more information about this error, try `rustc --explain E0119`.
13