]>
Commit | Line | Data |
---|---|---|
dfeec247 | 1 | note: no external requirements |
0731742a | 2 | --> $DIR/propagate-fail-to-approximate-longer-wrong-bounds.rs:39:47 |
ff7c6d11 | 3 | | |
064997fb FG |
4 | LL | establish_relationships(&cell_a, &cell_b, |_outlives1, _outlives2, x, y| { |
5 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
ff7c6d11 | 6 | | |
1b1a35ee | 7 | = note: defining type: supply::{closure#0} with closure substs [ |
ff7c6d11 | 8 | i16, |
2b03887a | 9 | for<'a, 'b, 'c, 'd, 'e, 'f> extern "rust-call" fn((&ReLateBound(DebruijnIndex(0), BoundRegion { var: 0, kind: BrNamed('a) }) std::cell::Cell<&ReLateBound(DebruijnIndex(0), BoundRegion { var: 1, kind: BrNamed('b) }) &'_#1r u32>, &ReLateBound(DebruijnIndex(0), BoundRegion { var: 2, kind: BrNamed('c) }) std::cell::Cell<&ReLateBound(DebruijnIndex(0), BoundRegion { var: 3, kind: BrNamed('d) }) &'_#2r u32>, &ReLateBound(DebruijnIndex(0), BoundRegion { var: 4, kind: BrNamed('e) }) std::cell::Cell<&ReLateBound(DebruijnIndex(0), BoundRegion { var: 1, kind: BrNamed('b) }) u32>, &ReLateBound(DebruijnIndex(0), BoundRegion { var: 5, kind: BrNamed('f) }) std::cell::Cell<&ReLateBound(DebruijnIndex(0), BoundRegion { var: 3, kind: BrNamed('d) }) u32>)), |
ba9703b0 | 10 | (), |
ff7c6d11 | 11 | ] |
b7449926 XL |
12 | = note: late-bound region is '_#3r |
13 | = note: late-bound region is '_#4r | |
14 | ||
9fa01778 | 15 | error: lifetime may not live long enough |
0731742a | 16 | --> $DIR/propagate-fail-to-approximate-longer-wrong-bounds.rs:41:9 |
b7449926 XL |
17 | | |
18 | LL | establish_relationships(&cell_a, &cell_b, |_outlives1, _outlives2, x, y| { | |
1b1a35ee | 19 | | ---------- ---------- has type `&'_#8r Cell<&'2 &'_#2r u32>` |
b7449926 | 20 | | | |
1b1a35ee | 21 | | has type `&'_#6r Cell<&'1 &'_#1r u32>` |
b7449926 XL |
22 | LL | // Only works if 'x: 'y: |
23 | LL | demand_y(x, y, x.get()) | |
24 | | ^^^^^^^^^^^^^^^^^^^^^^^ argument requires that `'1` must outlive `'2` | |
ff7c6d11 | 25 | |
dfeec247 | 26 | note: no external requirements |
0731742a | 27 | --> $DIR/propagate-fail-to-approximate-longer-wrong-bounds.rs:38:1 |
ff7c6d11 | 28 | | |
f2b60f7d FG |
29 | LL | fn supply<'a, 'b>(cell_a: Cell<&'a u32>, cell_b: Cell<&'b u32>) { |
30 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
ff7c6d11 | 31 | | |
60c5eb7d | 32 | = note: defining type: supply |
ff7c6d11 XL |
33 | |
34 | error: aborting due to previous error | |
35 |