Adjust for supporting more implicit ptr-to-int transmutation#2516

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

RalfJung:read-pointer-as-bytesRalfJung/miri:read-pointer-as-bytesCopy head branch name to clipboard