Comment by pknopf

That isn't "type checking", that is just a guard to prevent simultaneous writes to the same data.