charon_lib::transform

Module update_closure_signatures

source
Expand description

§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§

Functions§