VBAR, ECMA-367, 2nd edition, section 8.22.3

     Assignment rule

     An Assignment is valid if and only if

        1 Source expression is compatible with its target entity.

        2 If target is stable, then source is attached.