| error[E0283]: type annotations needed |
| --> $DIR/issue-24424.rs:4:1 |
| | |
| LL | trait Trait0<'l0> {} |
| | ----------------- required by `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 resolve `T0: Trait0<'l0>` |
| |
| error: aborting due to previous error |
| |
| For more information about this error, try `rustc --explain E0283`. |
