add_retag: ensure box-to-raw-ptr casts are preserved for Miri#122647

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:box-to-raw-retagRalfJung/rust:box-to-raw-retagCopy head branch name to clipboard