share some common code for compile-time miri instances#71615

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

RalfJung:share-machine-codeRalfJung/rust:share-machine-codeCopy head branch name to clipboard