better support for running libcore tests with Miri#87255

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

RalfJung:miri-test-libcoreRalfJung/rust:miri-test-libcoreCopy head branch name to clipboard