error[E0623]: lifetime mismatch | |
--> $DIR/regions-infer-contravariance-due-to-decl.rs:25:35 | |
| | |
LL | fn use_<'short,'long>(c: Contravariant<'short>, | |
| --------------------- these two types are declared with different lifetimes... | |
LL | s: &'short isize, | |
LL | l: &'long isize, | |
| ------------ | |
... | |
LL | let _: Contravariant<'long> = c; | |
| ^ ...but data from `c` flows into `l` here | |
error: aborting due to previous error | |
For more information about this error, try `rustc --explain E0623`. |