charon_lib::transform

Module remove_drop_never

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

Structsยง