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