// | '_#4r | Local | ['_#4r]
// |
// | Inferred Region Values
-// | '_#0r | {'_#0r, bb0[0..=1]}
-// | '_#1r | {'_#1r, bb0[0..=1]}
-// | '_#2r | {'_#2r, bb0[0..=1]}
-// | '_#3r | {'_#3r, bb0[0..=1]}
-// | '_#4r | {'_#4r, bb0[0..=1]}
-// | '_#5r | {'_#1r, bb0[0..=1]}
-// | '_#6r | {'_#2r, bb0[0..=1]}
-// | '_#7r | {'_#1r, bb0[0..=1]}
-// | '_#8r | {'_#3r, bb0[0..=1]}
+// | '_#0r | U0 | {bb0[0..=127], '_#0r}
+// | '_#1r | U0 | {bb0[0..=127], '_#1r}
+// | '_#2r | U0 | {bb0[0..=127], '_#2r}
+// | '_#3r | U0 | {bb0[0..=127], '_#3r}
+// | '_#4r | U0 | {bb0[0..=127], '_#4r}
+// | '_#5r | U0 | {bb0[0..=127], '_#1r}
+// | '_#6r | U0 | {bb0[0..=127], '_#2r}
+// | '_#7r | U0 | {bb0[0..=127], '_#1r}
+// | '_#8r | U0 | {bb0[0..=127], '_#3r}
// |
// ...
// fn use_x(_1: &'_#5r mut i32, _2: &'_#6r u32, _3: &'_#7r u32, _4: &'_#8r u32) -> bool {
// END RUST SOURCE
// START rustc.main.nll.0.mir
-// | '_#7r | {bb0[4], bb0[8..=17]}
+// | '_#7r | U0 | {bb0[4], bb0[8..=17]}
// ...
-// | '_#9r | {bb0[10], bb0[14..=17]}
+// | '_#9r | U0 | {bb0[10], bb0[14..=17]}
// ...
// let _4: &'_#9r mut i32;
// ...
// END RUST SOURCE
// START rustc.main.nll.0.mir
-// | '_#2r | {bb2[0..=3], bb3[0..=1]}
-// | '_#3r | {bb2[1..=3], bb3[0..=1]}
-// | '_#4r | {bb2[3], bb3[0..=1]}
+// | '_#2r | U0 | {bb2[0..=3], bb3[0..=1]}
+// | '_#3r | U0 | {bb2[1..=3], bb3[0..=1]}
+// | '_#4r | U0 | {bb2[3], bb3[0..=1]}
// END rustc.main.nll.0.mir
// START rustc.main.nll.0.mir
// let _6: &'_#4r usize;