IR check val field assign

Can't you write `{ (newCaptureValues, implicit env) =>` and then not write `env` explicitly?