remove some provenance-related machine hooks that Miri no longer needs#99644

Merged

bors merged 2 commits intorust-lang:masterfrom RalfJung:interpret-int-ptr-transmute

Jul 24, 2022

+57-90

Commits on Jul 23, 2022