Module charon_lib::transform::update_closure_signatures

Micro-pass: the first local variable of closures is (a borrow to) the

closure itself. This is not consistent with the closure signature, which ignores this first variable. This micro-pass updates this.

Structs

• InsertRegions 🔒
• Transform

Functions

• transform_function 🔒