Skip to content

Commit 58ae912

Browse files
committed
different region numberings now
1 parent fe272c4 commit 58ae912

5 files changed

+5
-5
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ LL | |_outlives1, _outlives2, _outlives3, x, y| {
2626
LL | demand_y(x, y, p)
2727
| ^^^^^^^^^^^^^^^^^ argument requires that `'1` must outlive `'2`
2828
|
29-
= note: requirement occurs because of the type `Cell<&'?34 u32>`, which makes the generic argument `&'?34 u32` invariant
29+
= note: requirement occurs because of the type `Cell<&'?33 u32>`, which makes the generic argument `&'?33 u32` invariant
3030
= note: the struct `Cell<T>` is invariant over the parameter `T`
3131
= help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance
3232

tests/ui/nll/closure-requirements/propagate-approximated-ref.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ LL | | });
4141
| |______^ argument requires that `'a` must outlive `'b`
4242
|
4343
= help: consider adding the following bound: `'a: 'b`
44-
= note: requirement occurs because of the type `Cell<&'?11 u32>`, which makes the generic argument `&'?11 u32` invariant
44+
= note: requirement occurs because of the type `Cell<&'?9 u32>`, which makes the generic argument `&'?9 u32` invariant
4545
= note: the struct `Cell<T>` is invariant over the parameter `T`
4646
= help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance
4747

tests/ui/nll/closure-requirements/propagate-approximated-shorter-to-static-comparing-against-free.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ LL | foo(cell, |cell_a, cell_x| {
2121
LL | cell_a.set(cell_x.get()); // forces 'x: 'a, error in closure
2222
| ^^^^^^^^^^^^^^^^^^^^^^^^ `cell_x` escapes the closure body here
2323
|
24-
= note: requirement occurs because of the type `Cell<&'?9 u32>`, which makes the generic argument `&'?9 u32` invariant
24+
= note: requirement occurs because of the type `Cell<&'?8 u32>`, which makes the generic argument `&'?8 u32` invariant
2525
= note: the struct `Cell<T>` is invariant over the parameter `T`
2626
= help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance
2727

tests/ui/nll/closure-requirements/propagate-fail-to-approximate-longer-no-bounds.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ LL | // Only works if 'x: 'y:
2828
LL | demand_y(x, y, x.get())
2929
| ^^^^^^^^^^^^^^^^^^^^^^^ argument requires that `'1` must outlive `'2`
3030
|
31-
= note: requirement occurs because of the type `Cell<&'?37 u32>`, which makes the generic argument `&'?37 u32` invariant
31+
= note: requirement occurs because of the type `Cell<&'?33 u32>`, which makes the generic argument `&'?33 u32` invariant
3232
= note: the struct `Cell<T>` is invariant over the parameter `T`
3333
= help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance
3434

tests/ui/nll/closure-requirements/propagate-fail-to-approximate-longer-wrong-bounds.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ LL | // Only works if 'x: 'y:
2929
LL | demand_y(x, y, x.get())
3030
| ^^^^^^^^^^^^^^^^^^^^^^^ argument requires that `'1` must outlive `'2`
3131
|
32-
= note: requirement occurs because of the type `Cell<&'?43 u32>`, which makes the generic argument `&'?43 u32` invariant
32+
= note: requirement occurs because of the type `Cell<&'?39 u32>`, which makes the generic argument `&'?39 u32` invariant
3333
= note: the struct `Cell<T>` is invariant over the parameter `T`
3434
= help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance
3535

0 commit comments

Comments
 (0)