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