[rustc.git] / src / test / ui / regions / regions-variance-contravariant-use-covariant-in-second-position.nll.stderr

error: lifetime may not live long enough
  --> $DIR/regions-variance-contravariant-use-covariant-in-second-position.rs:29:12
   |
LL | fn use_<'short,'long>(c: S<'long, 'short>,
   |         ------ ----- lifetime `'long` defined here
   |         |
   |         lifetime `'short` defined here
...
LL |     let _: S<'long, 'long> = c;
   |            ^^^^^^^^^^^^^^^ type annotation requires that `'short` must outlive `'long`
   |
   = help: consider adding the following bound: `'short: 'long`

error: aborting due to previous error
Commit	Line	Data
48663c56	1	error: lifetime may not live long enough
04454e1e	2	--> $DIR/regions-variance-contravariant-use-covariant-in-second-position.rs:29:12
48663c56 XL	3	\|
	4	LL \| fn use_<'short,'long>(c: S<'long, 'short>,
	5	\| ------ ----- lifetime `'long` defined here
	6	\| \|
	7	\| lifetime `'short` defined here
	8	...
	9	LL \| let _: S<'long, 'long> = c;
	10	\| ^^^^^^^^^^^^^^^ type annotation requires that `'short` must outlive `'long`
60c5eb7d XL	11	\|
60c5eb7d XL	12	= help: consider adding the following bound: `'short: 'long`
48663c56 XL	13
	14	error: aborting due to previous error
	15