miri: better ptr-out-of-bounds errors#87224

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

RalfJung:miri-ptr-oobRalfJung/rust:miri-ptr-oobCopy head branch name to clipboard