Code compiled by the expression compiler should have language rules (e.g. definite assignment) applied.

[gafter]

Code compiled by the expression compiler should follow normal language rules. Specifically, for variables declared within the expression (e.g. within a lambda), it should be an error to use the variable before it has been assigned a value.

We should have unit tests that verify this is occurring.

Placing in the 1.0 (stable) milestone, as it may be a breaking change to add constraints later.

[ManishJayaswal]

@cston is there anything we need to do here still? If not then please close.