src/test/ui/variance/variance-contravariant-arg-object.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/variance-contravariant-arg-object.rs:14:5
   3    |
   4 LL |     v
   5    |     ^ lifetime mismatch
   6    |
   7    = note: expected trait object `dyn Get<&'min i32>`
   8               found trait object `dyn Get<&'max i32>`
   9 note: the lifetime `'min` as defined on the function body at 10:21...
  10   --> $DIR/variance-contravariant-arg-object.rs:10:21
  11    |
  12 LL | fn get_min_from_max<'min, 'max>(v: Box<dyn Get<&'max i32>>)
  13    |                     ^^^^
  14 note: ...does not necessarily outlive the lifetime `'max` as defined on the function body at 10:27
  15   --> $DIR/variance-contravariant-arg-object.rs:10:27
  16    |
  17 LL | fn get_min_from_max<'min, 'max>(v: Box<dyn Get<&'max i32>>)
  18    |                           ^^^^
  19
  20 error[E0308]: mismatched types
  21   --> $DIR/variance-contravariant-arg-object.rs:22:5
  22    |
  23 LL |     v
  24    |     ^ lifetime mismatch
  25    |
  26    = note: expected trait object `dyn Get<&'max i32>`
  27               found trait object `dyn Get<&'min i32>`
  28 note: the lifetime `'min` as defined on the function body at 17:21...
  29   --> $DIR/variance-contravariant-arg-object.rs:17:21
  30    |
  31 LL | fn get_max_from_min<'min, 'max, G>(v: Box<dyn Get<&'min i32>>)
  32    |                     ^^^^
  33 note: ...does not necessarily outlive the lifetime `'max` as defined on the function body at 17:27
  34   --> $DIR/variance-contravariant-arg-object.rs:17:27
  35    |
  36 LL | fn get_max_from_min<'min, 'max, G>(v: Box<dyn Get<&'min i32>>)
  37    |                           ^^^^
  38
  39 error: aborting due to 2 previous errors
  40
  41 For more information about this error, try `rustc --explain E0308`.