[rustc.git] / src / test / ui / traits / alias / wf.stderr

error[E0277]: the trait bound `T: Foo` is not satisfied
  --> $DIR/wf.rs:5:14
   |
LL | trait B<T> = A<T>;
   |              ^^^^ the trait `Foo` is not implemented for `T`
   |
note: required by a bound in `A`
  --> $DIR/wf.rs:4:12
   |
LL | trait A<T: Foo> {}
   |            ^^^ required by this bound in `A`
help: consider restricting type parameter `T`
   |
LL | trait B<T: Foo> = A<T>;
   |          +++++

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.
Commit	Line	Data
a1dfa0c6	1	error[E0277]: the trait bound `T: Foo` is not satisfied
6a06907d	2	--> $DIR/wf.rs:5:14
a1dfa0c6	3	\|
532ac7d7	4	LL \| trait B<T> = A<T>;
74b04a01 XL	5	\| ^^^^ the trait `Foo` is not implemented for `T`
74b04a01 XL	6	\|
94222f64 XL	7	note: required by a bound in `A`
	8	--> $DIR/wf.rs:4:12
	9	\|
	10	LL \| trait A<T: Foo> {}
	11	\| ^^^ required by this bound in `A`
ba9703b0	12	help: consider restricting type parameter `T`
74b04a01	13	\|
ba9703b0	14	LL \| trait B<T: Foo> = A<T>;
94222f64	15	\| +++++
a1dfa0c6 XL	16
	17	error: aborting due to previous error
	18
	19	For more information about this error, try `rustc --explain E0277`.