Expand description

A pass that eliminates branches on uninhabited enum variants.

Structs

Statics

CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
META 🔒
META 🔒
META 🔒

Functions

Ensures that the otherwise branch leads to an unreachable bb, returning None 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.