src/test/ui/variance/variance-invariant-arg-trait-match.stderr

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