]>
Commit | Line | Data |
---|---|---|
dfeec247 | 1 | note: external requirements |
0731742a | 2 | --> $DIR/propagate-despite-same-free-region.rs:42:9 |
ff7c6d11 | 3 | | |
0531ce1d XL |
4 | LL | / |_outlives1, _outlives2, x, y| { |
5 | LL | | // Only works if 'x: 'y: | |
6 | LL | | let p = x.get(); | |
7 | LL | | demand_y(x, y, p) | |
8 | LL | | }, | |
ff7c6d11 XL |
9 | | |_________^ |
10 | | | |
60c5eb7d | 11 | = note: defining type: supply::{{closure}}#0 with closure substs [ |
ff7c6d11 | 12 | i16, |
60c5eb7d | 13 | for<'r, 's> extern "rust-call" fn((std::cell::Cell<&'_#1r &ReLateBound(DebruijnIndex(0), BrNamed('r)) u32>, std::cell::Cell<&ReLateBound(DebruijnIndex(0), BrNamed('s)) &'_#2r u32>, std::cell::Cell<&ReLateBound(DebruijnIndex(0), BrNamed('r)) u32>, std::cell::Cell<&ReLateBound(DebruijnIndex(0), BrNamed('s)) u32>)), |
ba9703b0 | 14 | (), |
ff7c6d11 | 15 | ] |
b7449926 | 16 | = note: late-bound region is '_#3r |
8faf50e0 | 17 | = note: number of external vids: 4 |
ff7c6d11 XL |
18 | = note: where '_#1r: '_#2r |
19 | ||
dfeec247 | 20 | note: no external requirements |
0731742a | 21 | --> $DIR/propagate-despite-same-free-region.rs:39:1 |
ff7c6d11 | 22 | | |
0531ce1d XL |
23 | LL | / fn supply<'a>(cell_a: Cell<&'a u32>) { |
24 | LL | | establish_relationships( | |
25 | LL | | cell_a, | |
26 | LL | | |_outlives1, _outlives2, x, y| { | |
ff7c6d11 | 27 | ... | |
0531ce1d XL |
28 | LL | | ); |
29 | LL | | } | |
ff7c6d11 XL |
30 | | |_^ |
31 | | | |
60c5eb7d | 32 | = note: defining type: supply |
ff7c6d11 | 33 |