]> git.lizzy.rs Git - rust.git/blobdiff - src/test/mir-opt/inline/inline-trait-method_2/rustc.test2.Inline.after.mir
Rollup merge of #71627 - ldm0:autoderefarg, r=Dylan-DPC
[rust.git] / src / test / mir-opt / inline / inline-trait-method_2 / rustc.test2.Inline.after.mir
index aca47198aa95384fa03beaaa379dd58720d5bdab..afea1d5ebffa22b80cacec276f2734bc3b5e2a8c 100644 (file)
@@ -10,12 +10,12 @@ fn test2(_1: &dyn X) -> bool {
     }
 
     bb0: {
-        StorageLive(_2);                 // bb0[0]: scope 0 at $DIR/inline-trait-method_2.rs:5:10: 5:11
-        StorageLive(_3);                 // bb0[1]: scope 0 at $DIR/inline-trait-method_2.rs:5:10: 5:11
-        _3 = &(*_1);                     // bb0[2]: scope 0 at $DIR/inline-trait-method_2.rs:5:10: 5:11
-        _2 = move _3 as &dyn X (Pointer(Unsize)); // bb0[3]: scope 0 at $DIR/inline-trait-method_2.rs:5:10: 5:11
-        StorageDead(_3);                 // bb0[4]: scope 0 at $DIR/inline-trait-method_2.rs:5:10: 5:11
-        _0 = const <dyn X as X>::y(move _2) -> bb1; // bb0[5]: scope 1 at $DIR/inline-trait-method_2.rs:10:5: 10:10
+        StorageLive(_2);                 // scope 0 at $DIR/inline-trait-method_2.rs:5:10: 5:11
+        StorageLive(_3);                 // scope 0 at $DIR/inline-trait-method_2.rs:5:10: 5:11
+        _3 = &(*_1);                     // scope 0 at $DIR/inline-trait-method_2.rs:5:10: 5:11
+        _2 = move _3 as &dyn X (Pointer(Unsize)); // scope 0 at $DIR/inline-trait-method_2.rs:5:10: 5:11
+        StorageDead(_3);                 // scope 0 at $DIR/inline-trait-method_2.rs:5:10: 5:11
+        _0 = const <dyn X as X>::y(move _2) -> bb1; // scope 1 at $DIR/inline-trait-method_2.rs:10:5: 10:10
                                          // ty::Const
                                          // + ty: for<'r> fn(&'r dyn X) -> bool {<dyn X as X>::y}
                                          // + val: Value(Scalar(<ZST>))
@@ -25,7 +25,7 @@ fn test2(_1: &dyn X) -> bool {
     }
 
     bb1: {
-        StorageDead(_2);                 // bb1[0]: scope 0 at $DIR/inline-trait-method_2.rs:5:11: 5:12
-        return;                          // bb1[1]: scope 0 at $DIR/inline-trait-method_2.rs:6:2: 6:2
+        StorageDead(_2);                 // scope 0 at $DIR/inline-trait-method_2.rs:5:11: 5:12
+        return;                          // scope 0 at $DIR/inline-trait-method_2.rs:6:2: 6:2
     }
 }