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