Module charon_lib::transform::remove_read_discriminant
source · Expand description
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]).