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