tests/mir-opt/pre-codegen/drop_box_of_sized.drop_bytes.PreCodegen.after.panic-unwind.mir

// MIR for `drop_bytes` after PreCodegen

fn drop_bytes(_1: *mut Box<[u8; 1024]>) -> () {
    debug x => _1;
    let mut _0: ();
    scope 1 (inlined drop_in_place::<Box<[u8; 1024]>> - shim(Some(Box<[u8; 1024]>))) {
        scope 2 (inlined <Box<[u8; 1024]> as Drop>::drop) {
            let _2: std::ptr::NonNull<[u8; 1024]>;
            let _4: ();
            scope 3 {
                scope 4 {
                    scope 17 (inlined Layout::size) {
                    }
                    scope 18 (inlined std::ptr::Unique::<[u8; 1024]>::cast::<u8>) {
                        let mut _3: std::ptr::NonNull<u8>;
                        scope 19 (inlined NonNull::<[u8; 1024]>::cast::<u8>) {
                            scope 20 (inlined NonNull::<[u8; 1024]>::as_ptr) {
                            }
                        }
                    }
                    scope 21 (inlined <NonNull<u8> as From<std::ptr::Unique<u8>>>::from) {
                        scope 22 (inlined std::ptr::Unique::<u8>::as_non_null_ptr) {
                        }
                    }
                    scope 23 (inlined <std::alloc::Global as Allocator>::deallocate) {
                        scope 24 (inlined std::alloc::Global::deallocate_impl) {
                            scope 25 (inlined std::alloc::Global::deallocate_impl_runtime) {
                                scope 26 (inlined Layout::size) {
                                }
                                scope 27 (inlined alloc::alloc::dealloc_nonnull) {
                                    scope 28 (inlined Layout::size) {
                                    }
                                    scope 29 (inlined Layout::alignment) {
                                    }
                                }
                            }
                        }
                    }
                }
                scope 5 (inlined std::ptr::Unique::<[u8; 1024]>::as_ptr) {
                    scope 6 (inlined NonNull::<[u8; 1024]>::as_ptr) {
                    }
                }
                scope 7 (inlined Layout::for_value_raw::<[u8; 1024]>) {
                    scope 8 {
                        scope 16 (inlined #[track_caller] Layout::from_size_alignment_unchecked) {
                        }
                    }
                    scope 9 (inlined size_of_val_raw::<[u8; 1024]>) {
                    }
                    scope 10 (inlined std::ptr::Alignment::of_val_raw::<[u8; 1024]>) {
                        scope 11 {
                            scope 13 (inlined #[track_caller] std::ptr::Alignment::new_unchecked) {
                                scope 14 (inlined core::ub_checks::check_language_ub) {
                                    scope 15 (inlined core::ub_checks::check_language_ub::runtime) {
                                    }
                                }
                            }
                        }
                        scope 12 (inlined align_of_val_raw::<[u8; 1024]>) {
                        }
                    }
                }
            }
        }
    }

    bb0: {
        StorageLive(_3);
        _2 = copy (((*_1).0: std::ptr::Unique<[u8; 1024]>).0: std::ptr::NonNull<[u8; 1024]>);
        _3 = copy _2 as std::ptr::NonNull<u8> (Transmute);
        _4 = alloc::alloc::__rust_dealloc(move _3, const 1024_usize, const std::ptr::Alignment {{ _inner_repr_trick: std::ptr::alignment::AlignmentEnum::_Align1Shl0 }}) -> [return: bb1, unwind unreachable];
    }

    bb1: {
        StorageDead(_3);
        return;
    }
}