Module unreachable_enum_branching

A pass that eliminates branches on uninhabited or unreachable enum variants.

Structs

• UnreachableEnumBranching 🔒

Functions

• get_discriminant_local 🔒
• get_switched_on_type 🔒
  If the basic block terminates by switching on a discriminant, this returns the Ty the discriminant is read from. Otherwise, returns None.
• variant_discriminants 🔒