src/test/ui/lifetimes/lifetime-mismatch-between-trait-and-impl.stderr

   1 error: `impl` item signature doesn't match `trait` item signature
   2   --> $DIR/lifetime-mismatch-between-trait-and-impl.rs:6:5
   3    |
   4 LL |     fn foo<'a>(x: &i32, y: &'a i32) -> &'a i32;
   5    |     ------------------------------------------- expected `fn(&'1 i32, &'a i32) -> &'a i32`
   6 ...
   7 LL |     fn foo<'a>(x: &'a i32, y: &'a i32) -> &'a i32 {
   8    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ found `fn(&'1 i32, &'1 i32) -> &'1 i32`
   9    |
  10    = note: expected `fn(&'1 i32, &'a i32) -> &'a i32`
  11               found `fn(&'1 i32, &'1 i32) -> &'1 i32`
  12    = help: the lifetime requirements from the `impl` do not correspond to the requirements in the `trait`
  13    = help: verify the lifetime relationships in the `trait` and `impl` between the `self` argument, the other inputs and its output
  14
  15 error: aborting due to previous error
  16