[rustc.git] / src / test / ui / type-alias-impl-trait / bound_reduction2.stderr

error: non-defining opaque type use in defining scope
  --> $DIR/bound_reduction2.rs:16:5
   |
LL |     ()
   |     ^^
   |
note: used non-generic type `<T as TraitWithAssoc>::Assoc` for generic parameter
  --> $DIR/bound_reduction2.rs:9:10
   |
LL | type Foo<V> = impl Trait<V>;
   |          ^

error: aborting due to previous error
Commit	Line	Data
1b1a35ee	1	error: non-defining opaque type use in defining scope
5e7ed085	2	--> $DIR/bound_reduction2.rs:16:5
60c5eb7d	3	\|
5e7ed085 FG	4	LL \| ()
5e7ed085 FG	5	\| ^^
74b04a01	6	\|
1b1a35ee	7	note: used non-generic type `<T as TraitWithAssoc>::Assoc` for generic parameter
94222f64	8	--> $DIR/bound_reduction2.rs:9:10
74b04a01	9	\|
1b1a35ee XL	10	LL \| type Foo<V> = impl Trait<V>;
1b1a35ee XL	11	\| ^
60c5eb7d	12
5e7ed085	13	error: aborting due to previous error
8faf50e0	14