A pass that eliminates branches on uninhabited enum variants.
If the basic block terminates by switching on a discriminant, this returns the Ty the discriminant is read from. Otherwise, returns None.
Ty
