]>
Commit | Line | Data |
---|---|---|
dfeec247 | 1 | note: external requirements |
0731742a | 2 | --> $DIR/propagate-approximated-ref.rs:43:47 |
ff7c6d11 | 3 | | |
0531ce1d | 4 | LL | establish_relationships(&cell_a, &cell_b, |_outlives1, _outlives2, x, y| { |
ff7c6d11 | 5 | | _______________________________________________^ |
0531ce1d | 6 | LL | | // Only works if 'x: 'y: |
b7449926 | 7 | LL | | demand_y(x, y, x.get()) |
532ac7d7 | 8 | LL | | |
0531ce1d | 9 | LL | | }); |
ff7c6d11 XL |
10 | | |_____^ |
11 | | | |
1b1a35ee | 12 | = note: defining type: supply::{closure#0} with closure substs [ |
ff7c6d11 | 13 | i16, |
fc512014 | 14 | for<'r, 's, 't0, 't1, 't2, 't3> extern "rust-call" fn((&ReLateBound(DebruijnIndex(0), BoundRegion { kind: BrNamed('r) }) std::cell::Cell<&'_#1r &ReLateBound(DebruijnIndex(0), BoundRegion { kind: BrNamed('s) }) u32>, &ReLateBound(DebruijnIndex(0), BoundRegion { kind: BrNamed('t0) }) std::cell::Cell<&ReLateBound(DebruijnIndex(0), BoundRegion { kind: BrNamed('t1) }) &'_#2r u32>, &ReLateBound(DebruijnIndex(0), BoundRegion { kind: BrNamed('t2) }) std::cell::Cell<&ReLateBound(DebruijnIndex(0), BoundRegion { kind: BrNamed('s) }) u32>, &ReLateBound(DebruijnIndex(0), BoundRegion { kind: BrNamed('t3) }) std::cell::Cell<&ReLateBound(DebruijnIndex(0), BoundRegion { kind: BrNamed('t1) }) u32>)), |
ba9703b0 | 15 | (), |
ff7c6d11 | 16 | ] |
b7449926 XL |
17 | = note: late-bound region is '_#3r |
18 | = note: late-bound region is '_#4r | |
8faf50e0 | 19 | = note: number of external vids: 5 |
ff7c6d11 XL |
20 | = note: where '_#1r: '_#2r |
21 | ||
dfeec247 | 22 | note: no external requirements |
0731742a | 23 | --> $DIR/propagate-approximated-ref.rs:42:1 |
ff7c6d11 | 24 | | |
0531ce1d XL |
25 | LL | / fn supply<'a, 'b>(cell_a: Cell<&'a u32>, cell_b: Cell<&'b u32>) { |
26 | LL | | establish_relationships(&cell_a, &cell_b, |_outlives1, _outlives2, x, y| { | |
0bf4aa26 | 27 | LL | | // Only works if 'x: 'y: |
9fa01778 | 28 | LL | | demand_y(x, y, x.get()) |
532ac7d7 | 29 | LL | | |
0531ce1d XL |
30 | LL | | }); |
31 | LL | | } | |
ff7c6d11 XL |
32 | | |_^ |
33 | | | |
60c5eb7d | 34 | = note: defining type: supply |
ff7c6d11 | 35 | |
9fa01778 XL |
36 | error: lifetime may not live long enough |
37 | --> $DIR/propagate-approximated-ref.rs:45:9 | |
b7449926 | 38 | | |
0bf4aa26 XL |
39 | LL | fn supply<'a, 'b>(cell_a: Cell<&'a u32>, cell_b: Cell<&'b u32>) { |
40 | | -- -- lifetime `'b` defined here | |
41 | | | | |
42 | | lifetime `'a` defined here | |
43 | ... | |
44 | LL | demand_y(x, y, x.get()) | |
45 | | ^^^^^^^^^^^^^^^^^^^^^^^ argument requires that `'a` must outlive `'b` | |
60c5eb7d XL |
46 | | |
47 | = help: consider adding the following bound: `'a: 'b` | |
b7449926 | 48 | |
ff7c6d11 XL |
49 | error: aborting due to previous error |
50 |