[rustc.git] / src / test / ui / hr-subtype / hr-subtype.free_x_vs_free_y.nll.stderr

error: lifetime may not live long enough
  --> $DIR/hr-subtype.rs:39:13
   |
LL |           fn supertype<'x,'y:'x,'z:'y>() {
   |                        -- -- lifetime `'y` defined here
   |                        |
   |                        lifetime `'x` defined here
LL |               gimme::<$t1>(None::<$t2>);
   |               ^^^^^^^^^^^^^^^^^^^^^^^^^ argument requires that `'x` must outlive `'y`
...
LL | / check! { free_x_vs_free_y: (fn(&'x u32),
LL | |                             fn(&'y u32)) }
   | |__________________________________________- in this macro invocation
   |
   = help: consider adding the following bound: `'x: 'y`

error: aborting due to previous error
Commit	Line	Data
48663c56 XL	1	error: lifetime may not live long enough
	2	--> $DIR/hr-subtype.rs:39:13
	3	\|
	4	LL \| fn supertype<'x,'y:'x,'z:'y>() {
	5	\| -- -- lifetime `'y` defined here
	6	\| \|
	7	\| lifetime `'x` defined here
	8	LL \| gimme::<$t1>(None::<$t2>);
	9	\| ^^^^^^^^^^^^^^^^^^^^^^^^^ argument requires that `'x` must outlive `'y`
	10	...
	11	LL \| / check! { free_x_vs_free_y: (fn(&'x u32),
	12	LL \| \| fn(&'y u32)) }
	13	\| \|__________________________________________- in this macro invocation
60c5eb7d XL	14	\|
60c5eb7d XL	15	= help: consider adding the following bound: `'x: 'y`
48663c56 XL	16
	17	error: aborting due to previous error
	18