blob: 9f5e934295b87f9a892b4370aad4cee40d9df704 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
error[E0283]: type annotations needed
--> $DIR/issue-24424.rs:4:57
|
LL | trait Trait0<'l0> {}
| ----------------- required by this bound in `Trait0`
LL |
LL | impl <'l0, 'l1, T0> Trait1<'l0, T0> for bool where T0 : Trait0<'l0>, T0 : Trait0<'l1> {}
| ^^^^^^^^^^^ cannot infer type for type parameter `T0`
|
= note: cannot satisfy `T0: Trait0<'l0>`
error: aborting due to previous error
For more information about this error, try `rustc --explain E0283`.
|
