Rollup merge of #52645 - oli-obk:existential_in_fn_body, r=dtolnay

[rust.git] / src / test / mir-opt / end_region_destruction_extents_1.rs

diff --git a/src/test/mir-opt/end_region_destruction_extents_1.rs b/src/test/mir-opt/end_region_destruction_extents_1.rs
index 15b104f6c2ff74b9206f5c38872395a3a0883b70..8f8c406bcb3a4278ca18ffd5e2c2b7a67094d3b9 100644 (file)
--- a/src/test/mir-opt/end_region_destruction_extents_1.rs
+++ b/src/test/mir-opt/end_region_destruction_extents_1.rs
@@ -65,52 +65,45 @@ fn drop(&mut self) {
 
 // START rustc.main.QualifyAndPromoteConstants.before.mir
 // fn main() -> () {
-//     let mut _0: ();
+// let mut _0: ();
 //     let mut _1: &'12ds S1;
-//     let mut _2: &'12ds S1;
-//     let mut _3: D1<'12ds, '10s>;
+//     let mut _2: D1<'12ds, '10s>;
+//     let mut _3: &'12ds S1;
 //     let mut _4: &'12ds S1;
-//     let mut _5: &'12ds S1;
-//     let mut _6: S1;
+//     let mut _5: S1;
+//     let mut _6: &'10s S1;
 //     let mut _7: &'10s S1;
-//     let mut _8: &'10s S1;
-//     let mut _9: S1;
-//
+//     let mut _8: S1;
 //     bb0: {
 //         StorageLive(_2);
 //         StorageLive(_3);
 //         StorageLive(_4);
 //         StorageLive(_5);
+//         _5 = S1::{{constructor}}(const "ex1",);
+//         _4 = &'12ds _5;
+//         _3 = &'12ds (*_4);
 //         StorageLive(_6);
-//         _6 = S1::{{constructor}}(const "ex1",);
-//         _5 = &'12ds _6;
-//         _4 = &'12ds (*_5);
 //         StorageLive(_7);
 //         StorageLive(_8);
-//         StorageLive(_9);
-//         _9 = S1::{{constructor}}(const "dang1",);
-//         _8 = &'10s _9;
-//         _7 = &'10s (*_8);
-//         _3 = D1<'12ds, '10s>::{{constructor}}(move _4, move _7);
+//         _8 = S1::{{constructor}}(const "dang1",);
+//         _7 = &'10s _8;
+//         _6 = &'10s (*_7);
+//         _2 = D1<'12ds, '10s>::{{constructor}}(move _3, move _6);
 //         EndRegion('10s);
-//         StorageDead(_7);
-//         StorageDead(_4);
-//         _2 = (_3.0: &'12ds S1);
-//         _1 = move _2;
-//         StorageDead(_2);
-//         drop(_3) -> [return: bb2, unwind: bb1];
+//         StorageDead(_6);
+//         StorageDead(_3);
+//         _1 = (_2.0: &'12ds S1);
+//         drop(_2) -> [return: bb2, unwind: bb1];
 //     }
-//
 //     bb1: {
 //         resume;
 //     }
-//
 //     bb2: {
-//         StorageDead(_3);
+//         StorageDead(_2);
+//         StorageDead(_7);
 //         StorageDead(_8);
-//         StorageDead(_9);
+//         StorageDead(_4);
 //         StorageDead(_5);
-//         StorageDead(_6);
 //         EndRegion('12ds);
 //         _0 = ();
 //         return;
@@ -119,51 +112,40 @@ fn drop(&mut self) {
 // END rustc.main.QualifyAndPromoteConstants.before.mir
 
 // START rustc.main.QualifyAndPromoteConstants.after.mir
-// fn main() -> () {
+// fn main() -> (){
 //     let mut _0: ();
 //     let mut _1: &'12ds S1;
-//     let mut _2: &'12ds S1;
-//     let mut _3: D1<'12ds, '10s>;
+//     let mut _2: D1<'12ds, '10s>;
+//     let mut _3: &'12ds S1;
 //     let mut _4: &'12ds S1;
-//     let mut _5: &'12ds S1;
-//     let mut _6: S1;
+//     let mut _5: S1;
+//     let mut _6: &'10s S1;
 //     let mut _7: &'10s S1;
-//     let mut _8: &'10s S1;
-//     let mut _9: S1;
-//     let mut _10: &'10s S1;
-//     let mut _11: &'12ds S1;
-//
+//     let mut _8: S1;
 //     bb0: {
 //         StorageLive(_2);
 //         StorageLive(_3);
 //         StorageLive(_4);
-//         StorageLive(_5);
-//         _11 = promoted[1];
-//         _5 = &'12ds (*_11);
-//         _4 = &'12ds (*_5);
+//         _4 = &'12ds (promoted[1]: S1);
+//         _3 = &'12ds (*_4);
+//         StorageLive(_6);
 //         StorageLive(_7);
-//         StorageLive(_8);
-//         _10 = promoted[0];
-//         _8 = &'10s (*_10);
-//         _7 = &'10s (*_8);
-//         _3 = D1<'12ds, '10s>::{{constructor}}(move _4, move _7);
+//         _7 = &'10s (promoted[0]: S1);
+//         _6 = &'10s (*_7);
+//         _2 = D1<'12ds, '10s>::{{constructor}}(move _3, move _6);
 //         EndRegion('10s);
-//         StorageDead(_7);
-//         StorageDead(_4);
-//         _2 = (_3.0: &'12ds S1);
-//         _1 = move _2;
-//         StorageDead(_2);
-//         drop(_3) -> [return: bb2, unwind: bb1];
+//         StorageDead(_6);
+//         StorageDead(_3);
+//         _1 = (_2.0: &'12ds S1);
+//         drop(_2) -> [return: bb2, unwind: bb1];
 //     }
-//
 //     bb1: {
 //         resume;
 //     }
-//
 //     bb2: {
-//         StorageDead(_3);
-//         StorageDead(_8);
-//         StorageDead(_5);
+//         StorageDead(_2);
+//         StorageDead(_7);
+//         StorageDead(_4);
 //         EndRegion('12ds);
 //         _0 = ();
 //         return;