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

   1 error: non-defining opaque type use in defining scope
   2   --> $DIR/bound_reduction2.rs:16:5
   3    |
   4 LL |     ()
   5    |     ^^
   6    |
   7 note: used non-generic type `<T as TraitWithAssoc>::Assoc` for generic parameter
   8   --> $DIR/bound_reduction2.rs:9:10
   9    |
  10 LL | type Foo<V> = impl Trait<V>;
  11    |          ^
  12
  13 error: aborting due to previous error
  14