| error[E0623]: lifetime mismatch | |
| --> $DIR/regions-variance-invariant-use-contravariant.rs:30: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; //~ ERROR E0623 | |
| | ^ ...but data from `s` flows into `c` here | |
| error: aborting due to previous error | |
| For more information about this error, try `rustc --explain E0623`. |