scope of iteration variable

 fn main():
    var i: Int
    for i in range(3):
        ...

 fn main():
    var i: Int
    for i in range(3):
        ...

 fn main():
    var i: Int
    for i in range(3):
        ...

 fn main():
    var i: Int
    for i in range(3):
        ...

In current state of Mojo, variable

i

i is visible only inside the loop, which means that

i

i outside the loop is another

i

i. Is this only temporary solution or there are greater pros to keep this?