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::transform::remove_unused_locals).
Structs§
Constants§
Functions§
- generate_
discr_ 🔒assignment - Generate
match _y { 0 => { _x = 0 }, 1 => { _x = 1; }, .. }
.