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