Module remove_read_discriminant

The MIR code often contains variables with type Never, and we want to get rid of those. We proceed in two steps. First, we remove the instructions drop(v) where v has type Never (it can happen - this module does the filtering). Then, we filter the unused variables (crate::transform::remove_unused_locals).

Structs

Transform

Constants

DISCRIMINANT_INTRINSIC 🔒

Functions

generate_discr_assignment 🔒

Generate match _y { 0 => { _x = 0 }, 1 => { _x = 1; }, .. }.