avoid injected_panic_runtime which is going away#1085

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

RalfJung:panic-runtimeRalfJung/miri:panic-runtimeCopy head branch name to clipboard