1 error[E0623]: lifetime mismatch
2 --> $DIR/regions-infer-covariance-due-to-decl.rs:22: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
14 For more information about this error, try `rustc --explain E0623`.