Minimal miri changes for rustc permissive provenance#2116

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

carbotaniuman:minimal-miri-changescarbotaniuman/miri:minimal-miri-changesCopy head branch name to clipboard