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::remove_unused_locals]).

Structs

• Transform

Constants

• DISCRIMINANT_INTRINSIC 🔒

Functions

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