]>
Commit | Line | Data |
---|---|---|
ff7c6d11 | 1 | note: No external requirements |
0731742a | 2 | --> $DIR/propagate-fail-to-approximate-longer-no-bounds.rs:35:47 |
ff7c6d11 | 3 | | |
0531ce1d | 4 | LL | establish_relationships(&cell_a, &cell_b, |_outlives, x, y| { |
ff7c6d11 | 5 | | _______________________________________________^ |
0531ce1d XL |
6 | LL | | // Only works if 'x: 'y: |
7 | LL | | demand_y(x, y, x.get()) | |
532ac7d7 | 8 | LL | | |
0531ce1d | 9 | LL | | }); |
ff7c6d11 XL |
10 | | |_____^ |
11 | | | |
60c5eb7d | 12 | = note: defining type: supply::{{closure}}#0 with closure substs [ |
ff7c6d11 | 13 | i16, |
60c5eb7d | 14 | for<'r, 's, 't0, 't1, 't2> extern "rust-call" fn((&ReLateBound(DebruijnIndex(0), BrNamed('r)) std::cell::Cell<&ReLateBound(DebruijnIndex(0), BrNamed('s)) &'_#1r u32>, &ReLateBound(DebruijnIndex(0), BrNamed('t0)) std::cell::Cell<&ReLateBound(DebruijnIndex(0), BrNamed('t1)) u32>, &ReLateBound(DebruijnIndex(0), BrNamed('t2)) std::cell::Cell<&ReLateBound(DebruijnIndex(0), BrNamed('s)) u32>)), |
ff7c6d11 | 15 | ] |
b7449926 XL |
16 | = note: late-bound region is '_#2r |
17 | = note: late-bound region is '_#3r | |
18 | ||
9fa01778 | 19 | error: lifetime may not live long enough |
0731742a | 20 | --> $DIR/propagate-fail-to-approximate-longer-no-bounds.rs:37:9 |
b7449926 XL |
21 | | |
22 | LL | establish_relationships(&cell_a, &cell_b, |_outlives, x, y| { | |
532ac7d7 | 23 | | --------- - has type `&'_#7r std::cell::Cell<&'1 u32>` |
b7449926 | 24 | | | |
532ac7d7 | 25 | | has type `&'_#5r std::cell::Cell<&'2 &'_#1r u32>` |
b7449926 XL |
26 | LL | // Only works if 'x: 'y: |
27 | LL | demand_y(x, y, x.get()) | |
28 | | ^^^^^^^^^^^^^^^^^^^^^^^ argument requires that `'1` must outlive `'2` | |
ff7c6d11 XL |
29 | |
30 | note: No external requirements | |
0731742a | 31 | --> $DIR/propagate-fail-to-approximate-longer-no-bounds.rs:34:1 |
ff7c6d11 | 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()) | |
532ac7d7 | 37 | LL | | |
0531ce1d XL |
38 | LL | | }); |
39 | LL | | } | |
ff7c6d11 XL |
40 | | |_^ |
41 | | | |
60c5eb7d | 42 | = note: defining type: supply |
ff7c6d11 XL |
43 | |
44 | error: aborting due to previous error | |
45 |