]>
Commit | Line | Data |
---|---|---|
1b1a35ee | 1 | error[E0277]: the trait bound `U: Copy` is not satisfied |
74b04a01 | 2 | --> $DIR/wf-in-fn-where-clause.rs:10:14 |
b7449926 | 3 | | |
74b04a01 | 4 | LL | where T: MustBeCopy<U> |
1b1a35ee | 5 | | ^^^^^^^^^^^^^ the trait `Copy` is not implemented for `U` |
74b04a01 | 6 | | |
94222f64 XL |
7 | note: required by a bound in `MustBeCopy` |
8 | --> $DIR/wf-in-fn-where-clause.rs:6:20 | |
9 | | | |
10 | LL | trait MustBeCopy<T:Copy> { | |
11 | | ^^^^ required by this bound in `MustBeCopy` | |
ba9703b0 | 12 | help: consider further restricting type parameter `U` |
74b04a01 | 13 | | |
cdc7bbd5 | 14 | LL | where T: MustBeCopy<U>, U: std::marker::Copy |
94222f64 | 15 | | ++++++++++++++++++++++ |
b7449926 | 16 | |
4b012472 | 17 | error: aborting due to 1 previous error |
b7449926 XL |
18 | |
19 | For more information about this error, try `rustc --explain E0277`. |