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