- let mut _0: (); // return place in scope 0 at $DIR/region-subtyping-basic.rs:14:11: 14:11
- let mut _1: [usize; Const { ty: usize, val: Value(Scalar(0x00000003)) }]; // in scope 0 at $DIR/region-subtyping-basic.rs:15:9: 15:14
- let _3: usize; // in scope 0 at $DIR/region-subtyping-basic.rs:16:16: 16:17
- let mut _4: usize; // in scope 0 at $DIR/region-subtyping-basic.rs:16:14: 16:18
- let mut _5: bool; // in scope 0 at $DIR/region-subtyping-basic.rs:16:14: 16:18
- let mut _7: bool; // in scope 0 at $DIR/region-subtyping-basic.rs:18:8: 18:12
- let _8: bool; // in scope 0 at $DIR/region-subtyping-basic.rs:19:9: 19:18
- let mut _9: usize; // in scope 0 at $DIR/region-subtyping-basic.rs:19:15: 19:17
- let _10: bool; // in scope 0 at $DIR/region-subtyping-basic.rs:21:9: 21:18
+ let mut _0: (); // return place in scope 0 at $DIR/region-subtyping-basic.rs:16:11: 16:11
+ let mut _1: [usize; Const { ty: usize, val: Value(Scalar(0x00000003)) }]; // in scope 0 at $DIR/region-subtyping-basic.rs:17:9: 17:14
+ let _3: usize; // in scope 0 at $DIR/region-subtyping-basic.rs:18:16: 18:17
+ let mut _4: usize; // in scope 0 at $DIR/region-subtyping-basic.rs:18:14: 18:18
+ let mut _5: bool; // in scope 0 at $DIR/region-subtyping-basic.rs:18:14: 18:18
+ let mut _7: bool; // in scope 0 at $DIR/region-subtyping-basic.rs:20:8: 20:12
+ let _8: bool; // in scope 0 at $DIR/region-subtyping-basic.rs:21:9: 21:18
+ let mut _9: usize; // in scope 0 at $DIR/region-subtyping-basic.rs:21:15: 21:17
+ let _10: bool; // in scope 0 at $DIR/region-subtyping-basic.rs:23:9: 23:18