Skip to content

Commit a64ef13

Browse files
committed
"fix" test region-liveness-two-disjoint-uses
We no longer get two disjoint uses. =)
1 parent 7ec8e51 commit a64ef13

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

src/test/mir-opt/nll/region-liveness-two-disjoint-uses.rs

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,9 @@
1313
// borrows in `&v[0]` and `&v[1]` each (in theory) have to outlive R3,
1414
// but only at a particular point, and hence they wind up including
1515
// distinct regions.
16+
//
17+
// FIXME(#43234) -- Well, this used to be true, but we modified NLL
18+
// for the time being to not take location into account.
1619

1720
// compile-flags:-Zborrowck=mir -Zverbose
1821
// ^^^^^^^^^ force compiler to dump more region information
@@ -36,9 +39,9 @@ fn main() {
3639

3740
// END RUST SOURCE
3841
// START rustc.main.nll.0.mir
39-
// | '_#2r | {bb2[0..=1], bb3[0..=1]}
42+
// | '_#2r | {bb2[0..=1], bb3[0..=1], bb8[2..=4]}
4043
// ...
41-
// | '_#4r | {bb8[1..=4]}
44+
// | '_#4r | {bb2[1], bb3[0..=1], bb8[1..=4]}
4245
// | '_#5r | {bb2[1], bb3[0..=1], bb8[2..=4]}
4346
// ...
4447
// let mut _2: &'_#5r usize;

0 commit comments

Comments
 (0)