]>
Commit | Line | Data |
---|---|---|
ff7c6d11 XL |
1 | warning: not reporting region error due to -Znll |
2 | --> $DIR/propagate-fail-to-approximate-longer-no-bounds.rs:47:9 | |
3 | | | |
0531ce1d | 4 | LL | demand_y(x, y, x.get()) |
ff7c6d11 XL |
5 | | ^^^^^^^^^^^^^^^^^^^^^^^ |
6 | ||
7 | error: free region `ReFree(DefId(0/1:18 ~ propagate_fail_to_approximate_longer_no_bounds[317d]::supply[0]::{{closure}}[0]), BrAnon(4))` does not outlive free region `ReFree(DefId(0/1:18 ~ propagate_fail_to_approximate_longer_no_bounds[317d]::supply[0]::{{closure}}[0]), BrAnon(2))` | |
8 | --> $DIR/propagate-fail-to-approximate-longer-no-bounds.rs:47:18 | |
9 | | | |
0531ce1d | 10 | LL | demand_y(x, y, x.get()) |
ff7c6d11 XL |
11 | | ^ |
12 | ||
13 | note: No external requirements | |
14 | --> $DIR/propagate-fail-to-approximate-longer-no-bounds.rs:45:47 | |
15 | | | |
0531ce1d | 16 | LL | establish_relationships(&cell_a, &cell_b, |_outlives, x, y| { |
ff7c6d11 | 17 | | _______________________________________________^ |
0531ce1d XL |
18 | LL | | // Only works if 'x: 'y: |
19 | LL | | demand_y(x, y, x.get()) | |
20 | LL | | //~^ WARN not reporting region error due to -Znll | |
21 | LL | | //~| ERROR does not outlive free region | |
22 | LL | | }); | |
ff7c6d11 XL |
23 | | |_____^ |
24 | | | |
25 | = note: defining type: DefId(0/1:18 ~ propagate_fail_to_approximate_longer_no_bounds[317d]::supply[0]::{{closure}}[0]) with closure substs [ | |
26 | i16, | |
27 | for<'r, 's, 't0, 't1, 't2> extern "rust-call" fn((&ReLateBound(DebruijnIndex { depth: 1 }, BrNamed(crate0:DefIndex(0:0), 'r)) std::cell::Cell<&ReLateBound(DebruijnIndex { depth: 1 }, BrNamed(crate0:DefIndex(0:0), 's)) &'_#1r u32>, &ReLateBound(DebruijnIndex { depth: 1 }, BrNamed(crate0:DefIndex(0:0), 't0)) std::cell::Cell<&ReLateBound(DebruijnIndex { depth: 1 }, BrNamed(crate0:DefIndex(0:0), 't1)) u32>, &ReLateBound(DebruijnIndex { depth: 1 }, BrNamed(crate0:DefIndex(0:0), 't2)) std::cell::Cell<&ReLateBound(DebruijnIndex { depth: 1 }, BrNamed(crate0:DefIndex(0:0), 's)) u32>)) | |
28 | ] | |
29 | ||
30 | note: No external requirements | |
31 | --> $DIR/propagate-fail-to-approximate-longer-no-bounds.rs:44:1 | |
32 | | | |
0531ce1d XL |
33 | LL | / fn supply<'a, 'b>(cell_a: Cell<&'a u32>, cell_b: Cell<&'b u32>) { |
34 | LL | | establish_relationships(&cell_a, &cell_b, |_outlives, x, y| { | |
35 | LL | | // Only works if 'x: 'y: | |
36 | LL | | demand_y(x, y, x.get()) | |
ff7c6d11 | 37 | ... | |
0531ce1d XL |
38 | LL | | }); |
39 | LL | | } | |
ff7c6d11 XL |
40 | | |_^ |
41 | | | |
42 | = note: defining type: DefId(0/0:6 ~ propagate_fail_to_approximate_longer_no_bounds[317d]::supply[0]) with substs [] | |
43 | ||
44 | error: aborting due to previous error | |
45 |