src/test/ui/type-alias-impl-trait/not_a_defining_use.stderr

   1 error: non-defining opaque type use in defining scope
   2   --> $DIR/not_a_defining_use.rs:9:27
   3    |
   4 LL | fn two<T: Debug>(t: T) -> Two<T, u32> {
   5    |                           ^^^^^^^^^^^
   6    |
   7 note: used non-generic type `u32` for generic parameter
   8   --> $DIR/not_a_defining_use.rs:7:13
   9    |
  10 LL | type Two<T, U> = impl Debug;
  11    |             ^
  12
  13 error: aborting due to previous error
  14