[rustc.git] / src / test / ui / regions / regions-variance-invariant-use-contravariant.base.stderr

error[E0623]: lifetime mismatch
  --> $DIR/regions-variance-invariant-use-contravariant.rs:24:32
   |
LL | fn use_<'short,'long>(c: Invariant<'long>,
   |                          ----------------
LL |                       s: &'short isize,
   |                          ------------- these two types are declared with different lifetimes...
...
LL |     let _: Invariant<'short> = c;
   |                                ^ ...but data from `s` flows into `c` here

error: aborting due to previous error

For more information about this error, try `rustc --explain E0623`.
Commit	Line	Data
b7449926	1	error[E0623]: lifetime mismatch
04454e1e	2	--> $DIR/regions-variance-invariant-use-contravariant.rs:24:32
b7449926 XL	3	\|
	4	LL \| fn use_<'short,'long>(c: Invariant<'long>,
	5	\| ----------------
	6	LL \| s: &'short isize,
	7	\| ------------- these two types are declared with different lifetimes...
	8	...
532ac7d7	9	LL \| let _: Invariant<'short> = c;
b7449926 XL	10	\| ^ ...but data from `s` flows into `c` here
	11
	12	error: aborting due to previous error
	13
60c5eb7d	14	For more information about this error, try `rustc --explain E0623`.