charon_lib::transform

Module remove_unused_locals

source
Expand description

Remove the locals (which are not used for the input arguments) which are never used in the function bodies. This is useful to remove the locals with type Never. We actually check that there are no such local variables remaining afterwards.

Structsยง