interpret, codegen: tweak some comments and checks regarding Box with custom allocator#129812

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:box-custom-allocRalfJung/rust:box-custom-allocCopy head branch name to clipboard