1 error[E0623]: lifetime mismatch
2 --> $DIR/regions-variance-covariant-use-contravariant.rs:23:32
4 LL | fn use_<'short,'long>(c: Covariant<'long>,
7 | ------------- these two types are declared with different lifetimes...
9 LL | let _: Covariant<'short> = c;
10 | ^ ...but data from `s` flows into `c` here
12 error: aborting due to previous error