IR check val field assign

No. (I mean, I of course can write it, but the code will not compile anymore).

I can write:
```scala
{ (newCaptureValues, env0) => 
  implicit val env = env0
  // snip
}
```

if you prefer