]>
Commit | Line | Data |
---|---|---|
dfeec247 | 1 | note: no external requirements |
0731742a | 2 | --> $DIR/escape-argument-callee.rs:26:38 |
ff7c6d11 | 3 | | |
0531ce1d | 4 | LL | let mut closure = expect_sig(|p, y| *p = y); |
b7449926 XL |
5 | | ^^^^^^^^^^^^^ |
6 | | | |
1b1a35ee | 7 | = note: defining type: test::{closure#0} with closure substs [ |
b7449926 | 8 | i16, |
60c5eb7d | 9 | for<'r, 's, 't0> extern "rust-call" fn((&ReLateBound(DebruijnIndex(0), BrNamed('r)) mut &ReLateBound(DebruijnIndex(0), BrNamed('s)) i32, &ReLateBound(DebruijnIndex(0), BrNamed('t0)) i32)), |
ba9703b0 | 10 | (), |
b7449926 | 11 | ] |
ff7c6d11 | 12 | |
9fa01778 | 13 | error: lifetime may not live long enough |
0731742a | 14 | --> $DIR/escape-argument-callee.rs:26:45 |
ff7c6d11 | 15 | | |
0531ce1d | 16 | LL | let mut closure = expect_sig(|p, y| *p = y); |
0bf4aa26 | 17 | | - - ^^^^^^ assignment requires that `'1` must outlive `'2` |
8faf50e0 XL |
18 | | | | |
19 | | | has type `&'1 i32` | |
532ac7d7 | 20 | | has type `&'_#2r mut &'2 i32` |
ff7c6d11 | 21 | |
dfeec247 | 22 | note: no external requirements |
0731742a | 23 | --> $DIR/escape-argument-callee.rs:20:1 |
ff7c6d11 | 24 | | |
0531ce1d XL |
25 | LL | / fn test() { |
26 | LL | | let x = 44; | |
27 | LL | | let mut p = &x; | |
28 | LL | | | |
ff7c6d11 | 29 | ... | |
0531ce1d XL |
30 | LL | | deref(p); |
31 | LL | | } | |
ff7c6d11 XL |
32 | | |_^ |
33 | | | |
60c5eb7d | 34 | = note: defining type: test |
ff7c6d11 XL |
35 | |
36 | error: aborting due to previous error | |
37 |