Miri error type: remove UbExperimental variant#70286

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:no-experimentsRalfJung/rust:no-experimentsCopy head branch name to clipboard