1 note: No external requirements
2 --> $DIR/propagate-approximated-fail-no-postdom.rs:43:9
4 LL | / |_outlives1, _outlives2, _outlives3, x, y| {
5 LL | | // Only works if 'x: 'y:
6 LL | | let p = x.get();
7 LL | | demand_y(x, y, p)
11 = note: defining type: DefId(0:27 ~ propagate_approximated_fail_no_postdom[317d]::supply[0]::{{closure}}[0]) with closure substs [
13 for<'r, 's> extern "rust-call" fn((std::cell::Cell<&'_#1r &ReLateBound(DebruijnIndex(0), BrNamed(crate0:DefIndex(0), 'r)) u32>, std::cell::Cell<&'_#2r &ReLateBound(DebruijnIndex(0), BrNamed(crate0:DefIndex(0), 'r)) u32>, std::cell::Cell<&ReLateBound(DebruijnIndex(0), BrNamed(crate0:DefIndex(0), 's)) &'_#3r u32>, std::cell::Cell<&ReLateBound(DebruijnIndex(0), BrNamed(crate0:DefIndex(0), 'r)) u32>, std::cell::Cell<&ReLateBound(DebruijnIndex(0), BrNamed(crate0:DefIndex(0), 's)) u32>)),
15 = note: late-bound region is '_#4r
16 = note: late-bound region is '_#5r
17 = note: late-bound region is '_#6r
19 error: lifetime may not live long enough
20 --> $DIR/propagate-approximated-fail-no-postdom.rs:46:13
22 LL | |_outlives1, _outlives2, _outlives3, x, y| {
23 | ---------- ---------- has type `std::cell::Cell<&'2 &'_#3r u32>`
25 | has type `std::cell::Cell<&'_#1r &'1 u32>`
27 LL | demand_y(x, y, p)
28 | ^^^^^^^^^^^^^^^^^ argument requires that `'1` must outlive `'2`
30 note: No external requirements
31 --> $DIR/propagate-approximated-fail-no-postdom.rs:38:1
33 LL | / fn supply<'a, 'b, 'c>(cell_a: Cell<&'a u32>, cell_b: Cell<&'b u32>, cell_c: Cell<&'c u32>) {
34 LL | | establish_relationships(
42 = note: defining type: DefId(0:23 ~ propagate_approximated_fail_no_postdom[317d]::supply[0]) with substs []
44 error: aborting due to previous error