Structural Type-Checking

When a value is assigned to a structural type ascribed concrete member, then this value is structurally type-checked against the type of the member before performing the actual assignement.

More formally, given the structural type ascription S of a concrete member m and a value v, if the type of v is a structural subtype of S, then v can be assigned to m.