interpret: make typed copies lossy wrt provenance and padding#129778

bors merged 9 commits into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:interp-lossy-typed-copyRalfJung/rust:interp-lossy-typed-copyCopy head branch name to clipboard