Expand description
The way to match on enums in MIR is in two steps: first read the discriminant, then switch on the resulting integer. This pass records the enum place as the switch scrutinee and replaces the integer cases with symbolic enum discriminants.