src/test/ui/hr-subtype/hr-subtype.free_inv_x_vs_free_inv_y.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/hr-subtype.rs:33:26
   3    |
   4 LL |               gimme::<$t2>(None::<$t1>);
   5    |                            ^^^^^^^^^^^ lifetime mismatch
   6 ...
   7 LL | / check! { free_inv_x_vs_free_inv_y: (fn(Inv<'x>),
   8 LL | |                                     fn(Inv<'y>)) }
   9    | |__________________________________________________- in this macro invocation
  10    |
  11    = note: expected enum `std::option::Option<fn(Inv<'y>)>`
  12               found enum `std::option::Option<fn(Inv<'x>)>`
  13 note: the lifetime `'x` as defined on the function body at 32:20...
  14   --> $DIR/hr-subtype.rs:32:20
  15    |
  16 LL |           fn subtype<'x,'y:'x,'z:'y>() {
  17    |                      ^^
  18 ...
  19 LL | / check! { free_inv_x_vs_free_inv_y: (fn(Inv<'x>),
  20 LL | |                                     fn(Inv<'y>)) }
  21    | |__________________________________________________- in this macro invocation
  22 note: ...does not necessarily outlive the lifetime `'y` as defined on the function body at 32:23
  23   --> $DIR/hr-subtype.rs:32:23
  24    |
  25 LL |           fn subtype<'x,'y:'x,'z:'y>() {
  26    |                         ^^
  27 ...
  28 LL | / check! { free_inv_x_vs_free_inv_y: (fn(Inv<'x>),
  29 LL | |                                     fn(Inv<'y>)) }
  30    | |__________________________________________________- in this macro invocation
  31    = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
  32
  33 error[E0308]: mismatched types
  34   --> $DIR/hr-subtype.rs:39:26
  35    |
  36 LL |               gimme::<$t1>(None::<$t2>);
  37    |                            ^^^^^^^^^^^ lifetime mismatch
  38 ...
  39 LL | / check! { free_inv_x_vs_free_inv_y: (fn(Inv<'x>),
  40 LL | |                                     fn(Inv<'y>)) }
  41    | |__________________________________________________- in this macro invocation
  42    |
  43    = note: expected enum `std::option::Option<fn(Inv<'x>)>`
  44               found enum `std::option::Option<fn(Inv<'y>)>`
  45 note: the lifetime `'x` as defined on the function body at 38:22...
  46   --> $DIR/hr-subtype.rs:38:22
  47    |
  48 LL |           fn supertype<'x,'y:'x,'z:'y>() {
  49    |                        ^^
  50 ...
  51 LL | / check! { free_inv_x_vs_free_inv_y: (fn(Inv<'x>),
  52 LL | |                                     fn(Inv<'y>)) }
  53    | |__________________________________________________- in this macro invocation
  54 note: ...does not necessarily outlive the lifetime `'y` as defined on the function body at 38:25
  55   --> $DIR/hr-subtype.rs:38:25
  56    |
  57 LL |           fn supertype<'x,'y:'x,'z:'y>() {
  58    |                           ^^
  59 ...
  60 LL | / check! { free_inv_x_vs_free_inv_y: (fn(Inv<'x>),
  61 LL | |                                     fn(Inv<'y>)) }
  62    | |__________________________________________________- in this macro invocation
  63    = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
  64
  65 error: aborting due to 2 previous errors
  66
  67 For more information about this error, try `rustc --explain E0308`.