Comment by zoogeny

I believe that the statement `a.x = 100;` is invalid since Record types are immutable.

That is, the situation you are afraid of should be impossible.