1 error: non-defining opaque type use in defining scope
2 --> $DIR/bound_reduction2.rs:16:46
4 LL | fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T::Assoc> {
7 note: used non-generic type `<T as TraitWithAssoc>::Assoc` for generic parameter
8 --> $DIR/bound_reduction2.rs:9:10
10 LL | type Foo<V> = impl Trait<V>;
13 error: could not find defining uses
14 --> $DIR/bound_reduction2.rs:9:15
16 LL | type Foo<V> = impl Trait<V>;
19 error: aborting due to 2 previous errors