I understand why values of a variable should be changeable (unless declared const). It’s the whole point of having a variable.
Curious: Are there many code patterns where one would want the type of an already instantiated variable to be changeable? Especially because ‘Any’ is a type that could hold a variety of types if absolutely needed, and one could create a new variable with a different type and initialize it based on the contents of an existing instantiated variable when need be?
I am asking because I think (not sure) that type mutability of global variables creates all sorts of issues for the compiler; and I think possibly also for the user. I don’t think I ever write code where I want the type to switch around. I think I would rather trigger an error if this happens.