src/test/ui/nll/closure-requirements/propagate-approximated-fail-no-postdom.stderr

   1 note: No external requirements
   2   --> $DIR/propagate-approximated-fail-no-postdom.rs:43:9
   3    |
   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)
   8 LL | |         },
   9    | |_________^
  10    |
  11    = note: defining type: DefId(0:18 ~ propagate_approximated_fail_no_postdom[317d]::supply[0]::{{closure}}[0]) with closure substs [
  12                i16,
  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>)),
  14            ]
  15    = note: late-bound region is '_#4r
  16    = note: late-bound region is '_#5r
  17    = note: late-bound region is '_#6r
  18
  19 error: lifetime may not live long enough
  20   --> $DIR/propagate-approximated-fail-no-postdom.rs:46:13
  21    |
  22 LL |         |_outlives1, _outlives2, _outlives3, x, y| {
  23    |          ----------              ---------- has type `std::cell::Cell<&'2 &'_#3r u32>`
  24    |          |
  25    |          has type `std::cell::Cell<&'_#1r &'1 u32>`
  26 ...
  27 LL |             demand_y(x, y, p)
  28    |             ^^^^^^^^^^^^^^^^^ argument requires that `'1` must outlive `'2`
  29
  30 note: No external requirements
  31   --> $DIR/propagate-approximated-fail-no-postdom.rs:38:1
  32    |
  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(
  35 LL | |         cell_a,
  36 LL | |         cell_b,
  37 ...  |
  38 LL | |     );
  39 LL | | }
  40    | |_^
  41    |
  42    = note: defining type: DefId(0:14 ~ propagate_approximated_fail_no_postdom[317d]::supply[0]) with substs []
  43
  44 error: aborting due to previous error
  45