Module 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 represents the captured state as a tuple. This micro-pass updates this.

Structs

• InsertRegions 🔒
• Transform

Functions

• transform_function 🔒