-Zvalidate-mir should check that SwitchInt
values are valid for their type
#75440
Labels
A-mir-opt
Area: MIR optimizations
C-enhancement
Category: An issue proposing an enhancement or a PR with one.
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
Hypothetically we could have a
we expect this not to happen, so this is an invariant of MIR that we can check
cc @rust-lang/wg-mir-opt @RalfJung
The text was updated successfully, but these errors were encountered: