tests/ui/issues/issue-24424.stderr

   1 error[E0283]: type annotations needed: cannot satisfy `T0: Trait0<'l0>`
   2   --> $DIR/issue-24424.rs:4:57
   3    |
   4 LL | impl <'l0, 'l1, T0> Trait1<'l0, T0> for bool where T0 : Trait0<'l0>, T0 : Trait0<'l1> {}
   5    |                                                         ^^^^^^^^^^^
   6    |
   7 note: multiple `impl`s or `where` clauses satisfying `T0: Trait0<'l0>` found
   8   --> $DIR/issue-24424.rs:4:57
   9    |
  10 LL | impl <'l0, 'l1, T0> Trait1<'l0, T0> for bool where T0 : Trait0<'l0>, T0 : Trait0<'l1> {}
  11    |                                                         ^^^^^^^^^^^       ^^^^^^^^^^^
  12
  13 error: aborting due to previous error
  14
  15 For more information about this error, try `rustc --explain E0283`.