[rustc.git] / src / test / ui / in-band-lifetimes / mismatched.nll.stderr

error[E0621]: explicit lifetime required in the type of `y`
  --> $DIR/mismatched.rs:4:42
   |
LL | fn foo(x: &'a u32, y: &u32) -> &'a u32 { y }
   |                       ----               ^ lifetime `'a` required
   |                       |
   |                       help: add explicit lifetime `'a` to the type of `y`: `&'a u32`

error: lifetime may not live long enough
  --> $DIR/mismatched.rs:6:46
   |
LL | fn foo2(x: &'a u32, y: &'b u32) -> &'a u32 { y }
   |             --          --                   ^ function was supposed to return data with lifetime `'a` but it is returning data with lifetime `'b`
   |             |           |
   |             |           lifetime `'b` defined here
   |             lifetime `'a` defined here
   |
   = help: consider adding the following bound: `'b: 'a`

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0621`.
Commit	Line	Data
48663c56 XL	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
60c5eb7d XL	17	\|
60c5eb7d XL	18	= help: consider adding the following bound: `'b: 'a`
48663c56 XL	19
	20	error: aborting due to 2 previous errors
	21
	22	For more information about this error, try `rustc --explain E0621`.