]>
Commit | Line | Data |
---|---|---|
923072b8 FG |
1 | error: lifetime may not live long enough |
2 | --> $DIR/hr-subtype.rs:48:13 | |
b7449926 | 3 | | |
f035d41b | 4 | LL | fn subtype<'x, 'y: 'x, 'z: 'y>() { |
923072b8 FG |
5 | | -- -- lifetime `'y` defined here |
6 | | | | |
7 | | lifetime `'x` defined here | |
8 | LL | gimme::<$t2>(None::<$t1>); | |
9 | | ^^^^^^^^^^^^^^^^^^^^^^^^^ argument requires that `'x` must outlive `'y` | |
b7449926 XL |
10 | ... |
11 | LL | / check! { free_inv_x_vs_free_inv_y: (fn(Inv<'x>), | |
f035d41b XL |
12 | LL | | fn(Inv<'y>)) } |
13 | | |______________- in this macro invocation | |
b7449926 | 14 | | |
923072b8 FG |
15 | = help: consider adding the following bound: `'x: 'y` |
16 | = note: requirement occurs because of the type `Inv<'_>`, which makes the generic argument `'_` invariant | |
17 | = note: the struct `Inv<'a>` is invariant over the parameter `'a` | |
18 | = help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance | |
17df50a5 | 19 | = note: this error originates in the macro `check` (in Nightly builds, run with -Z macro-backtrace for more info) |
b7449926 | 20 | |
923072b8 FG |
21 | error: lifetime may not live long enough |
22 | --> $DIR/hr-subtype.rs:54:13 | |
b7449926 | 23 | | |
f035d41b | 24 | LL | fn supertype<'x, 'y: 'x, 'z: 'y>() { |
923072b8 FG |
25 | | -- -- lifetime `'y` defined here |
26 | | | | |
27 | | lifetime `'x` defined here | |
28 | LL | gimme::<$t1>(None::<$t2>); | |
29 | | ^^^^^^^^^^^^^^^^^^^^^^^^^ argument requires that `'x` must outlive `'y` | |
b7449926 XL |
30 | ... |
31 | LL | / check! { free_inv_x_vs_free_inv_y: (fn(Inv<'x>), | |
f035d41b XL |
32 | LL | | fn(Inv<'y>)) } |
33 | | |______________- in this macro invocation | |
b7449926 | 34 | | |
923072b8 FG |
35 | = help: consider adding the following bound: `'x: 'y` |
36 | = note: requirement occurs because of the type `Inv<'_>`, which makes the generic argument `'_` invariant | |
37 | = note: the struct `Inv<'a>` is invariant over the parameter `'a` | |
38 | = help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance | |
17df50a5 | 39 | = note: this error originates in the macro `check` (in Nightly builds, run with -Z macro-backtrace for more info) |
b7449926 XL |
40 | |
41 | error: aborting due to 2 previous errors | |
42 |