]>
Commit | Line | Data |
---|---|---|
9fa01778 XL |
1 | error: lifetime may not live long enough |
2 | --> $DIR/wf-unreachable.rs:8:12 | |
3 | | | |
4 | LL | fn uninit<'a>() { | |
5 | | -- lifetime `'a` defined here | |
6 | LL | return; | |
532ac7d7 | 7 | LL | let x: &'static &'a (); |
9fa01778 | 8 | | ^^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'static` |
60c5eb7d XL |
9 | | |
10 | = help: consider replacing `'a` with `'static` | |
9fa01778 XL |
11 | |
12 | error: lifetime may not live long enough | |
13 | --> $DIR/wf-unreachable.rs:13:12 | |
14 | | | |
15 | LL | fn var_type<'a>() { | |
16 | | -- lifetime `'a` defined here | |
17 | LL | return; | |
532ac7d7 | 18 | LL | let x: &'static &'a () = &&(); |
9fa01778 | 19 | | ^^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'static` |
60c5eb7d XL |
20 | | |
21 | = help: consider replacing `'a` with `'static` | |
9fa01778 XL |
22 | |
23 | error: lifetime may not live long enough | |
24 | --> $DIR/wf-unreachable.rs:17:12 | |
25 | | | |
26 | LL | fn uninit_infer<'a>() { | |
27 | | -- lifetime `'a` defined here | |
532ac7d7 | 28 | LL | let x: &'static &'a _; |
9fa01778 | 29 | | ^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'static` |
60c5eb7d XL |
30 | | |
31 | = help: consider replacing `'a` with `'static` | |
9fa01778 XL |
32 | |
33 | error: lifetime may not live long enough | |
34 | --> $DIR/wf-unreachable.rs:23:12 | |
35 | | | |
36 | LL | fn infer<'a>() { | |
37 | | -- lifetime `'a` defined here | |
38 | LL | return; | |
532ac7d7 | 39 | LL | let x: &'static &'a _ = &&(); |
9fa01778 | 40 | | ^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'static` |
60c5eb7d XL |
41 | | |
42 | = help: consider replacing `'a` with `'static` | |
9fa01778 XL |
43 | |
44 | error: lifetime may not live long enough | |
45 | --> $DIR/wf-unreachable.rs:28:12 | |
46 | | | |
47 | LL | fn uninit_no_var<'a>() { | |
48 | | -- lifetime `'a` defined here | |
49 | LL | return; | |
532ac7d7 | 50 | LL | let _: &'static &'a (); |
9fa01778 | 51 | | ^^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'static` |
60c5eb7d XL |
52 | | |
53 | = help: consider replacing `'a` with `'static` | |
9fa01778 XL |
54 | |
55 | error: lifetime may not live long enough | |
56 | --> $DIR/wf-unreachable.rs:33:12 | |
57 | | | |
58 | LL | fn no_var<'a>() { | |
59 | | -- lifetime `'a` defined here | |
60 | LL | return; | |
532ac7d7 | 61 | LL | let _: &'static &'a () = &&(); |
9fa01778 | 62 | | ^^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'static` |
60c5eb7d XL |
63 | | |
64 | = help: consider replacing `'a` with `'static` | |
9fa01778 XL |
65 | |
66 | error: lifetime may not live long enough | |
67 | --> $DIR/wf-unreachable.rs:38:12 | |
68 | | | |
69 | LL | fn infer_no_var<'a>() { | |
70 | | -- lifetime `'a` defined here | |
71 | LL | return; | |
532ac7d7 | 72 | LL | let _: &'static &'a _ = &&(); |
9fa01778 | 73 | | ^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'static` |
60c5eb7d XL |
74 | | |
75 | = help: consider replacing `'a` with `'static` | |
9fa01778 XL |
76 | |
77 | error: lifetime may not live long enough | |
78 | --> $DIR/wf-unreachable.rs:51:12 | |
79 | | | |
80 | LL | fn required_substs<'a>() { | |
81 | | -- lifetime `'a` defined here | |
82 | LL | return; | |
532ac7d7 | 83 | LL | let _: C<'static, 'a, _> = C((), &(), &()); |
9fa01778 | 84 | | ^^^^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'static` |
60c5eb7d XL |
85 | | |
86 | = help: consider replacing `'a` with `'static` | |
9fa01778 XL |
87 | |
88 | error: aborting due to 8 previous errors | |
89 |