Expand description
A pass that eliminates branches on uninhabited enum variants.
Structs
Functions
- Ensures that the
otherwise
branch leads to an unreachable bb, returningNone
if so and a new bb to use as the new target if not. - If the basic block terminates by switching on a discriminant, this returns the
Ty
the discriminant is read from. Otherwise, returns None.