mir_preserve_ub

keep place mention statements and reads in trivial SwitchInt terminators, which are interpreted e.g., by miri; implies -Zmir-opt-level=0 (default: no)

This feature has no tracking issue, and is therefore likely internal to the compiler, not being intended for general use.