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:15:46
   3    |
   4 LL | fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T::Assoc> {
   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