Skip to content

Commit cbd4274

Browse files
committed
Update mir-opt to promoted changes
1 parent be92f9d commit cbd4274

File tree

2 files changed

+4
-10
lines changed

2 files changed

+4
-10
lines changed

src/test/mir-opt/end_region_destruction_extents_1.rs

+2-6
Original file line numberDiff line numberDiff line change
@@ -122,19 +122,15 @@ unsafe impl<'a, #[may_dangle] 'b> Drop for D1<'a, 'b> {
122122
// let mut _6: &'10s S1;
123123
// let mut _7: &'10s S1;
124124
// let mut _8: S1;
125-
// let mut _9: &'10s S1;
126-
// let mut _10: &'12ds S1;
127125
// bb0: {
128126
// StorageLive(_2);
129127
// StorageLive(_3);
130128
// StorageLive(_4);
131-
// _10 = promoted[1];
132-
// _4 = &'12ds (*_10);
129+
// _4 = &'12ds (promoted[1]: S1);
133130
// _3 = &'12ds (*_4);
134131
// StorageLive(_6);
135132
// StorageLive(_7);
136-
// _9 = promoted[0];
137-
// _7 = &'10s (*_9);
133+
// _7 = &'10s (promoted[0]: S1);
138134
// _6 = &'10s (*_7);
139135
// _2 = D1<'12ds, '10s>::{{constructor}}(move _3, move _6);
140136
// EndRegion('10s);

src/test/mir-opt/match_false_edges.rs

+2-4
Original file line numberDiff line numberDiff line change
@@ -54,8 +54,7 @@ fn main() {
5454
// ...
5555
// _2 = std::option::Option<i32>::Some(const 42i32,);
5656
// _3 = discriminant(_2);
57-
// _14 = promoted[1];
58-
// _4 = &(*_14);
57+
// _4 = &(promoted[1]: std::option::Option<i32>);
5958
// _9 = discriminant(_2);
6059
// switchInt(move _9) -> [0isize: bb5, 1isize: bb3, otherwise: bb7];
6160
// }
@@ -86,8 +85,7 @@ fn main() {
8685
// }
8786
// bb8: { // binding1 and guard
8887
// StorageLive(_7);
89-
// _13 = promoted[0];
90-
// _7 = &(((*_13) as Some).0: i32);
88+
// _7 = &(((promoted[0]: std::option::Option<i32>) as Some).0: i32);
9189
// StorageLive(_10);
9290
// _10 = const guard() -> [return: bb9, unwind: bb1];
9391
// }

0 commit comments

Comments
 (0)