1 - // MIR for `main` before Inline
2 + // MIR for `main` after Inline
5 let mut _0: (); // return place in scope 0 at $DIR/inline-into-box-place.rs:7:11: 7:11
6 let _1: std::boxed::Box<std::vec::Vec<u32>>; // in scope 0 at $DIR/inline-into-box-place.rs:8:9: 8:11
7 let mut _2: usize; // in scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43
8 let mut _3: usize; // in scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43
9 let mut _4: *mut u8; // in scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43
10 let mut _5: std::boxed::Box<std::vec::Vec<u32>>; // in scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43
11 let mut _6: (); // in scope 0 at $DIR/inline-into-box-place.rs:8:42: 8:43
12 + let mut _7: &mut std::vec::Vec<u32>; // in scope 0 at $DIR/inline-into-box-place.rs:8:33: 8:43
14 debug _x => _1; // in scope 1 at $DIR/inline-into-box-place.rs:8:9: 8:11
18 + scope 3 (inlined Vec::<u32>::new) { // at $DIR/inline-into-box-place.rs:8:33: 8:43
22 StorageLive(_1); // scope 0 at $DIR/inline-into-box-place.rs:8:9: 8:11
23 _2 = SizeOf(std::vec::Vec<u32>); // scope 2 at $DIR/inline-into-box-place.rs:8:29: 8:43
24 _3 = AlignOf(std::vec::Vec<u32>); // scope 2 at $DIR/inline-into-box-place.rs:8:29: 8:43
25 _4 = alloc::alloc::exchange_malloc(move _2, move _3) -> bb1; // scope 2 at $DIR/inline-into-box-place.rs:8:29: 8:43
27 // + span: $DIR/inline-into-box-place.rs:8:29: 8:43
28 // + literal: Const { ty: unsafe fn(usize, usize) -> *mut u8 {alloc::alloc::exchange_malloc}, val: Value(Scalar(<ZST>)) }
32 StorageLive(_5); // scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43
33 _5 = ShallowInitBox(move _4, std::vec::Vec<u32>); // scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43
34 - (*_5) = Vec::<u32>::new() -> [return: bb2, unwind: bb5]; // scope 0 at $DIR/inline-into-box-place.rs:8:33: 8:43
35 + StorageLive(_7); // scope 0 at $DIR/inline-into-box-place.rs:8:33: 8:43
36 + _7 = &mut (*_5); // scope 0 at $DIR/inline-into-box-place.rs:8:33: 8:43
37 + ((*_7).0: alloc::raw_vec::RawVec<u32>) = const alloc::raw_vec::RawVec::<u32> { ptr: Unique::<u32> { pointer: {0x4 as *const u32}, _marker: PhantomData::<u32> }, cap: 0_usize, alloc: std::alloc::Global }; // scope 3 at $SRC_DIR/alloc/src/vec/mod.rs:LL:COL
39 - // + span: $DIR/inline-into-box-place.rs:8:33: 8:41
40 - // + user_ty: UserType(1)
41 - // + literal: Const { ty: fn() -> Vec<u32> {Vec::<u32>::new}, val: Value(Scalar(<ZST>)) }
45 + // + span: $SRC_DIR/alloc/src/vec/mod.rs:LL:COL
46 + // + user_ty: UserType(0)
47 + // + literal: Const { ty: alloc::raw_vec::RawVec<u32>, val: Value(ByRef { alloc: Allocation { bytes: [4, 0, 0, 0, 0, 0, 0, 0], relocations: Relocations(SortedMap { data: [] }), init_mask: InitMask { blocks: [255], len: Size { raw: 8 } }, align: Align { pow2: 2 }, mutability: Not, extra: () }, offset: Size { raw: 0 } }) }
48 + ((*_7).1: usize) = const 0_usize; // scope 3 at $SRC_DIR/alloc/src/vec/mod.rs:LL:COL
49 + StorageDead(_7); // scope 0 at $DIR/inline-into-box-place.rs:8:33: 8:43
50 _1 = move _5; // scope 0 at $DIR/inline-into-box-place.rs:8:29: 8:43
51 StorageDead(_5); // scope 0 at $DIR/inline-into-box-place.rs:8:42: 8:43
52 _0 = const (); // scope 0 at $DIR/inline-into-box-place.rs:7:11: 9:2
53 - drop(_1) -> [return: bb3, unwind: bb4]; // scope 0 at $DIR/inline-into-box-place.rs:9:1: 9:2
54 + drop(_1) -> [return: bb2, unwind: bb3]; // scope 0 at $DIR/inline-into-box-place.rs:9:1: 9:2
59 StorageDead(_1); // scope 0 at $DIR/inline-into-box-place.rs:9:1: 9:2
60 return; // scope 0 at $DIR/inline-into-box-place.rs:9:2: 9:2
65 resume; // scope 0 at $DIR/inline-into-box-place.rs:7:1: 9:2
69 - _6 = alloc::alloc::box_free::<Vec<u32>, std::alloc::Global>(move (_5.0: std::ptr::Unique<std::vec::Vec<u32>>), move (_5.1: std::alloc::Global)) -> bb4; // scope 0 at $DIR/inline-into-box-place.rs:8:42: 8:43
71 - // + span: $DIR/inline-into-box-place.rs:8:42: 8:43
72 - // + literal: Const { ty: unsafe fn(Unique<Vec<u32>>, std::alloc::Global) {alloc::alloc::box_free::<Vec<u32>, std::alloc::Global>}, val: Value(Scalar(<ZST>)) }