I believe this occurs because the old checker stopped processing basic
blocks after a `SwitchInt`.
//~| ERROR E0017
//~| ERROR E0080
//~| ERROR E0744
//~| ERROR E0017
//~| ERROR E0080
//~| ERROR E0744
//~| ERROR `for` is not allowed in a `const`
//~| ERROR references in constants may only refer to immutable values
//~| ERROR evaluation of constant value failed
//~| ERROR `for` is not allowed in a `const`
//~| ERROR references in constants may only refer to immutable values
//~| ERROR evaluation of constant value failed
+ //~| ERROR constant contains unimplemented expression type