cargo-miri: better error when we seem to run inside bootstrap but something is wrong#128382

Merged

bors merged 1 commit intorust-lang:masterfrom

RalfJung:cargo-miri-assert

Jul 31, 2024

Commits on Jul 30, 2024

cargo-miri: better error when we seem to run inside bootstrap but something is wrong
RalfJung
committed