Variable assignments in constraints aren' t typed

[timfel]

Consider:

always { a = 1 }

makes a an untyped constraint variable and just runs the assignment, instead of creating the appropriately typed assignment.

[alanb2718]

Is this really an issue though? always expects a block that represents a constraint, so the expression should evaluate to a boolean, and also be side-effect-free (or the side effects are benign). a=1 doesn't meet these restrictions, so always { a = 1 } isn't well formed.