src/test/ui/coherence/coherence-overlap-trait-alias.stderr

   1 error[E0283]: type annotations needed
   2   --> $DIR/coherence-overlap-trait-alias.rs:15:6
   3    |
   4 LL | impl C for u32 {}
   5    |      ^ cannot infer type for type `u32`
   6    |
   7 note: multiple `impl`s satisfying `u32: C` found
   8   --> $DIR/coherence-overlap-trait-alias.rs:13:1
   9    |
  10 LL | impl<T: AB> C for T {}
  11    | ^^^^^^^^^^^^^^^^^^^
  12 LL | #[rustc_strict_coherence]
  13 LL | impl C for u32 {}
  14    | ^^^^^^^^^^^^^^
  15 note: required by a bound in `C`
  16   --> $DIR/coherence-overlap-trait-alias.rs:11:1
  17    |
  18 LL | trait C {}
  19    | ^^^^^^^ required by this bound in `C`
  20
  21 error: aborting due to previous error
  22
  23 For more information about this error, try `rustc --explain E0283`.