Miri: replace many bug! by span_bug!#73582

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

RalfJung:miri-span-bugRalfJung/rust:miri-span-bugCopy head branch name to clipboard