miri: avoid making a full copy of all new allocations#125633

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-no-copyRalfJung/rust:miri-no-copyCopy head branch name to clipboard