@@ -45,11 +45,11 @@ fn main() -> () {
4545
4646 bb0 : {
4747 StorageLive(_1); // bb0[0] : scope 0 at $DIR/region-subtyping-basic.rs:17:9: 17:14
48- _1 = [const Const(Value( Scalar(0x00000001)) : usize), const Const(Value( Scalar(0x00000002)) : usize), const Const(Value( Scalar(0x00000003) ): usize)]; // bb0[1]: scope 0 at $DIR/region-subtyping-basic.rs:17:17: 17:26
48+ _1 = [const ConstValue( Scalar(0x00000001) : usize), const ConstValue( Scalar(0x00000002): usize), const ConstValue( Scalar(0x00000003): usize)]; // bb0[1]: scope 0 at $DIR/region-subtyping-basic.rs:17:17: 17:26
4949 FakeRead(ForLet(None), _1); // bb0[2] : scope 0 at $DIR/region-subtyping-basic.rs:17:9: 17:14
5050 StorageLive(_2); // bb0[3] : scope 1 at $DIR/region-subtyping-basic.rs:18:9: 18:10
5151 StorageLive(_3); // bb0[4] : scope 1 at $DIR/region-subtyping-basic.rs:18:16: 18:17
52- _3 = const Const(Value( Scalar(0x00000000) ) : usize); // bb0[5]: scope 1 at $DIR/region-subtyping-basic.rs:18:16: 18:17
52+ _3 = const ConstValue( Scalar(0x00000000) : usize); // bb0[5]: scope 1 at $DIR/region-subtyping-basic.rs:18:16: 18:17
5353 _4 = Len(_1); // bb0[6] : scope 1 at $DIR/region-subtyping-basic.rs:18:14: 18:18
5454 _5 = Lt(_3, _4); // bb0[7] : scope 1 at $DIR/region-subtyping-basic.rs:18:14: 18:18
5555 assert(move _5, "index out of bounds : the length is {} but the index is {}", move _4, _3) -> [success: bb1, unwind: bb7]; // bb0[8]: scope 1 at $DIR/region-subtyping-basic.rs:18:14: 18:18
@@ -62,15 +62,15 @@ fn main() -> () {
6262 _6 = _2; // bb1[3] : scope 2 at $DIR/region-subtyping-basic.rs:19:13: 19:14
6363 FakeRead(ForLet(None), _6); // bb1[4] : scope 2 at $DIR/region-subtyping-basic.rs:19:9: 19:10
6464 StorageLive(_7); // bb1[5] : scope 3 at $DIR/region-subtyping-basic.rs:20:8: 20:12
65- _7 = const Const(Value( Scalar(0x01) ) : bool); // bb1[6]: scope 3 at $DIR/region-subtyping-basic.rs:20:8: 20:12
65+ _7 = const ConstValue( Scalar(0x01) : bool); // bb1[6]: scope 3 at $DIR/region-subtyping-basic.rs:20:8: 20:12
6666 switchInt(move _7) -> [Const(Value(Scalar(0x00)) : bool): bb4, otherwise: bb2]; // bb1[7]: scope 3 at $DIR/region-subtyping-basic.rs:20:8: 20:12
6767 }
6868
6969 bb2 : {
7070 StorageLive(_8); // bb2[0] : scope 3 at $DIR/region-subtyping-basic.rs:21:9: 21:18
7171 StorageLive(_9); // bb2[1] : scope 3 at $DIR/region-subtyping-basic.rs:21:15: 21:17
7272 _9 = (*_6); // bb2[2] : scope 3 at $DIR/region-subtyping-basic.rs:21:15: 21:17
73- _8 = Const(Value( Scalar(<ZST>) ) : fn(usize) -> bool {use_x})(move _9) -> [return: bb3, unwind: bb7]; // bb2[3]: scope 3 at $DIR/region-subtyping-basic.rs:21:9: 21:18
73+ _8 = ConstValue( Scalar(<ZST>) : fn(usize) -> bool {use_x})(move _9) -> [return: bb3, unwind: bb7]; // bb2[3]: scope 3 at $DIR/region-subtyping-basic.rs:21:9: 21:18
7474 // mir::Constant
7575 // + span : $DIR/region-subtyping-basic.rs:21:9: 21:14
7676 // + literal : Const { ty: fn(usize) -> bool {use_x}, val: Value(Scalar(<ZST>)) }
@@ -79,21 +79,21 @@ fn main() -> () {
7979 bb3 : {
8080 StorageDead(_9); // bb3[0] : scope 3 at $DIR/region-subtyping-basic.rs:21:17: 21:18
8181 StorageDead(_8); // bb3[1] : scope 3 at $DIR/region-subtyping-basic.rs:21:18: 21:19
82- _0 = const Const(Value( Scalar(<ZST>) ) : ()); // bb3[2]: scope 3 at $DIR/region-subtyping-basic.rs:20:13: 22:6
82+ _0 = const ConstValue( Scalar(<ZST>) : ()); // bb3[2]: scope 3 at $DIR/region-subtyping-basic.rs:20:13: 22:6
8383 goto -> bb6; // bb3[3] : scope 3 at $DIR/region-subtyping-basic.rs:20:5: 24:6
8484 }
8585
8686 bb4 : {
8787 StorageLive(_10); // bb4[0] : scope 3 at $DIR/region-subtyping-basic.rs:23:9: 23:18
88- _10 = Const(Value( Scalar(<ZST>)) : fn(usize) -> bool {use_x})(const Const(Value( Scalar(0x00000016) ): usize)) -> [return: bb5, unwind: bb7]; // bb4[1]: scope 3 at $DIR/region-subtyping-basic.rs:23:9: 23:18
88+ _10 = ConstValue( Scalar(<ZST>) : fn(usize) -> bool {use_x})(const ConstValue( Scalar(0x00000016): usize)) -> [return: bb5, unwind: bb7]; // bb4[1]: scope 3 at $DIR/region-subtyping-basic.rs:23:9: 23:18
8989 // mir::Constant
9090 // + span : $DIR/region-subtyping-basic.rs:23:9: 23:14
9191 // + literal : Const { ty: fn(usize) -> bool {use_x}, val: Value(Scalar(<ZST>)) }
9292 }
9393
9494 bb5 : {
9595 StorageDead(_10); // bb5[0] : scope 3 at $DIR/region-subtyping-basic.rs:23:18: 23:19
96- _0 = const Const(Value( Scalar(<ZST>) ) : ()); // bb5[1]: scope 3 at $DIR/region-subtyping-basic.rs:22:12: 24:6
96+ _0 = const ConstValue( Scalar(<ZST>) : ()); // bb5[1]: scope 3 at $DIR/region-subtyping-basic.rs:22:12: 24:6
9797 goto -> bb6; // bb5[2] : scope 3 at $DIR/region-subtyping-basic.rs:20:5: 24:6
9898 }
9999
0 commit comments