Module rustc_mir_transform::uninhabited_enum_branching

A pass that eliminates branches on uninhabited enum variants.

Structs

UninhabitedEnumBranching

Functions

ensure_otherwise_unreachable 🔒

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.

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 🔒