[Docs]: Implicitly declared local variables (in def functions) may not be function-scoped

[duckki]

Bug description

Implicitly declared local variables are supposed to have the function-level scope (as stated in the doc). But, it appears to be restricted to the scope they were assigned.

Steps to reproduce

def example( nondet ):
    # Exepcted that `v` is declared function-wide.
    # Thus, the implicit declaration of `var v` should've been hoisted to the top of the function.
    if nondet:
        v = 1 # assignment here, implicitly declaring a local variable `v`
    else:
        v = 2
    print( v ) # error: "use of unknown declaration 'v'"

System information

- macOS Sonoma
- mojo 0.6.1 (876ded2e)
- modular 0.3.0 (8afa5600)

[duckki]

It seems related to the intentional scoping deviation from Python mentioned in the roadmap.

for i in range(3): pass
print(i) # error in Mojo

[ematejska]

Yes, exactly but the documentation could be improved here.