Variables, just as any identi er, obey the general rules of scope. In addition, initialized variables are initialized when they enter scope:
Note that the behaviour for local initialized variables is di erent from the one of a local typed constant. A local typed constant behaves like a global initialized variable.