}
// END RUST SOURCE
-// START rustc.node12.nll.0.mir
-// | '_#4r: {bb1[3], bb1[4], bb1[5], bb2[0], bb2[1]}
-// END rustc.node12.nll.0.mir
+// START rustc.main.nll.0.mir
+// | '_#5r: {bb2[3], bb2[4], bb2[5], bb3[0], bb3[1]}
+// END rustc.main.nll.0.mir