src/test/ui/regions/regions-variance-contravariant-use-covariant.stderr

   1 error[E0623]: lifetime mismatch
   2   --> $DIR/regions-variance-contravariant-use-covariant.rs:33:35
   3    |
   4 LL | fn use_<'short,'long>(c: Contravariant<'short>,
   5    |                          --------------------- these two types are declared with different lifetimes...
   6 LL |                       s: &'short isize,
   7 LL |                       l: &'long isize,
   8    |                          ------------
   9 ...
  10 LL |     let _: Contravariant<'long> = c; //~ ERROR E0623
  11    |                                   ^ ...but data from `c` flows into `l` here
  12
  13 error: aborting due to previous error
  14
  15 For more information about this error, try `rustc --explain E0623`.