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

error[E0277]: the trait bound `T: TraitWithAssoc` is not satisfied
  --> $DIR/bound_reduction2.rs:10:15
   |
LL | type Foo<V> = impl Trait<V>;
   |               ^^^^^^^^^^^^^ the trait `TraitWithAssoc` is not implemented for `T`
   |
help: consider further restricting this bound
   |
LL | fn foo_desugared<T: TraitWithAssoc + TraitWithAssoc>(_: T) -> Foo<T::Assoc> {
   |                                    ^^^^^^^^^^^^^^^^

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.
Commit	Line	Data
60c5eb7d	1	error[E0277]: the trait bound `T: TraitWithAssoc` is not satisfied
f035d41b	2	--> $DIR/bound_reduction2.rs:10:15
60c5eb7d XL	3	\|
60c5eb7d XL	4	LL \| type Foo<V> = impl Trait<V>;
f035d41b	5	\| ^^^^^^^^^^^^^ the trait `TraitWithAssoc` is not implemented for `T`
74b04a01	6	\|
ba9703b0	7	help: consider further restricting this bound
74b04a01	8	\|
ba9703b0 XL	9	LL \| fn foo_desugared<T: TraitWithAssoc + TraitWithAssoc>(_: T) -> Foo<T::Assoc> {
ba9703b0 XL	10	\| ^^^^^^^^^^^^^^^^
60c5eb7d	11
ba9703b0	12	error: aborting due to previous error
8faf50e0	13
60c5eb7d	14	For more information about this error, try `rustc --explain E0277`.