ALF_ — Derived Attributes for LeftHandSide

Subclause: 13.2.6 LeftHandSide

A left hand side should have derived type, lower and upper attributes, since these are defined in Subclause 8.8.

Agreed (however, the correct subclause for LeftHandSide is 13.2.26, not 13.2.6). Constraints for AssignmentExpression also refer to the type and bounds of the left-hand side. Note, though, that the type and bounds for a left-hand side for the first assignment of a local name cannot be derived directly from the left-hand side, since they are determined by the right-hand side of the assignment. But this is already accounted for in the simple assignment multiplicity and type conformance constraints for an AssignmentExpression.