]>
Commit | Line | Data |
---|---|---|
1b1a35ee | 1 | error[E0277]: the trait bound `for<'b> <T as X<'b, T>>::U: Clone` is not satisfied |
f035d41b XL |
2 | --> $DIR/hr-associated-type-bound-param-6.rs:14:14 |
3 | | | |
4 | LL | trait X<'a, T> | |
5 | | - required by a bound in this | |
6 | ... | |
7 | LL | for<'b> <T as X<'b, T>>::U: Clone, | |
8 | | ----- required by this bound in `X` | |
9 | ... | |
10 | LL | type U = str; | |
1b1a35ee | 11 | | ^^^ the trait `for<'b> Clone` is not implemented for `<T as X<'b, T>>::U` |
f035d41b XL |
12 | | |
13 | = help: the following implementations were found: | |
1b1a35ee XL |
14 | <&T as Clone> |
15 | <&mut T as Clone> | |
f035d41b XL |
16 | |
17 | error[E0277]: the trait bound `for<'b> T: X<'b, T>` is not satisfied | |
18 | --> $DIR/hr-associated-type-bound-param-6.rs:12:12 | |
19 | | | |
20 | LL | trait X<'a, T> | |
21 | | - required by a bound in this | |
22 | LL | where | |
23 | LL | for<'b> T: X<'b, T>, | |
24 | | -------- required by this bound in `X` | |
25 | ... | |
26 | LL | impl<S, T> X<'_, T> for (S,) { | |
27 | | ^^^^^^^^ the trait `for<'b> X<'b, T>` is not implemented for `T` | |
28 | | | |
29 | help: consider restricting type parameter `T` | |
30 | | | |
31 | LL | impl<S, T: for<'b> X<'b, T>> X<'_, T> for (S,) { | |
32 | | ^^^^^^^^^^^^^^^^^^ | |
33 | ||
34 | error: aborting due to 2 previous errors | |
35 | ||
36 | For more information about this error, try `rustc --explain E0277`. |