src/test/ui/in-band-lifetimes/mismatched.nll.stderr

   1 error[E0621]: explicit lifetime required in the type of `y`
   2   --> $DIR/mismatched.rs:4:42
   3    |
   4 LL | fn foo(x: &'a u32, y: &u32) -> &'a u32 { y }
   5    |                       ----               ^ lifetime `'a` required
   6    |                       |
   7    |                       help: add explicit lifetime `'a` to the type of `y`: `&'a u32`
   8
   9 error: lifetime may not live long enough
  10   --> $DIR/mismatched.rs:6:46
  11    |
  12 LL | fn foo2(x: &'a u32, y: &'b u32) -> &'a u32 { y }
  13    |             --          --                   ^ function was supposed to return data with lifetime `'a` but it is returning data with lifetime `'b`
  14    |             |           |
  15    |             |           lifetime `'b` defined here
  16    |             lifetime `'a` defined here
  17    |
  18    = help: consider adding the following bound: `'b: 'a`
  19
  20 error: aborting due to 2 previous errors
  21
  22 For more information about this error, try `rustc --explain E0621`.