Fully transitive const is not necessary

[Walter Bright]

Jason House wrote:
> Walter Bright wrote:
> And how do global variables fit into that?  Technically, they're always
> reachable and never inherit const.

If the global variables are not invariant, then you're going to have 
synchronization problems when accessing them from multiple threads. If 
they are invariant, you cannot have sync problems.