projects / rustc.git / blame
| Commit | Line | Data |
|---|---|---|
| b7449926 XL |
1 | error[E0308]: mismatched types |
| 2 | --> $DIR/hr-subtype.rs:43: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 type `std::option::Option<fn(Inv<'y>)>` | |
| 12 | found type `std::option::Option<fn(Inv<'x>)>` | |
| 13 | note: the lifetime 'x as defined on the function body at 42:20... | |
| 14 | --> $DIR/hr-subtype.rs:42: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 42:23 | |
| 23 | --> $DIR/hr-subtype.rs:42: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 | ||
| 32 | error[E0308]: mismatched types | |
| 33 | --> $DIR/hr-subtype.rs:49:26 | |
| 34 | | | |
| 35 | LL | gimme::<$t1>(None::<$t2>); | |
| 36 | | ^^^^^^^^^^^ lifetime mismatch | |
| 37 | ... | |
| 38 | LL | / check! { free_inv_x_vs_free_inv_y: (fn(Inv<'x>), | |
| 39 | LL | | fn(Inv<'y>)) } | |
| 40 | | |__________________________________________________- in this macro invocation | |
| 41 | | | |
| 42 | = note: expected type `std::option::Option<fn(Inv<'x>)>` | |
| 43 | found type `std::option::Option<fn(Inv<'y>)>` | |
| 44 | note: the lifetime 'x as defined on the function body at 48:22... | |
| 45 | --> $DIR/hr-subtype.rs:48:22 | |
| 46 | | | |
| 47 | LL | fn supertype<'x,'y:'x,'z:'y>() { | |
| 48 | | ^^ | |
| 49 | ... | |
| 50 | LL | / check! { free_inv_x_vs_free_inv_y: (fn(Inv<'x>), | |
| 51 | LL | | fn(Inv<'y>)) } | |
| 52 | | |__________________________________________________- in this macro invocation | |
| 53 | note: ...does not necessarily outlive the lifetime 'y as defined on the function body at 48:25 | |
| 54 | --> $DIR/hr-subtype.rs:48:25 | |
| 55 | | | |
| 56 | LL | fn supertype<'x,'y:'x,'z:'y>() { | |
| 57 | | ^^ | |
| 58 | ... | |
| 59 | LL | / check! { free_inv_x_vs_free_inv_y: (fn(Inv<'x>), | |
| 60 | LL | | fn(Inv<'y>)) } | |
| 61 | | |__________________________________________________- in this macro invocation | |
| 62 | ||
| 63 | error: aborting due to 2 previous errors | |
| 64 | ||
| 65 | For more information about this error, try `rustc --explain E0308`. |