[rustc.git] / src / test / ui / wf / wf-inherent-impl-where-clause.stderr

error[E0277]: the trait bound `U: std::marker::Copy` is not satisfied
  --> $DIR/wf-inherent-impl-where-clause.rs:11:1
   |
LL |   trait ExtraCopy<T:Copy> { }
   |   ----------------------- required by `ExtraCopy`
...
LL |   impl<T,U> Foo<T,U> where T: ExtraCopy<U>
   |   ^                                       - help: consider further restricting type parameter `U`: `, U: std::marker::Copy`
   |  _|
   | |
LL | | {
LL | | }
   | |_^ the trait `std::marker::Copy` is not implemented for `U`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.
Commit	Line	Data
b7449926	1	error[E0277]: the trait bound `U: std::marker::Copy` is not satisfied
0731742a	2	--> $DIR/wf-inherent-impl-where-clause.rs:11:1
b7449926	3	\|
e1599b0c XL	4	LL \| trait ExtraCopy<T:Copy> { }
	5	\| ----------------------- required by `ExtraCopy`
	6	...
e74abb32 XL	7	LL \| impl<T,U> Foo<T,U> where T: ExtraCopy<U>
	8	\| ^ - help: consider further restricting type parameter `U`: `, U: std::marker::Copy`
	9	\| _\|
	10	\| \|
b7449926 XL	11	LL \| \| {
	12	LL \| \| }
	13	\| \|_^ the trait `std::marker::Copy` is not implemented for `U`
b7449926 XL	14
	15	error: aborting due to previous error
	16
	17	For more information about this error, try `rustc --explain E0277`.