mypy reports no issues on access of conditionally available fields

Bug Report

To Reproduce

# foo.py
def print_foo():
    print(foo)

if __name__ == '__main__':
    foo = "foobar"

https://mypy-play.net/?mypy=latest&python=3.12&gist=d8a24e474f61a151f549728e14173383

Expected Behavior

mypy should report an error

the name foo is not guaranteed to be part of the scope in print_foo. E.g. the following code will break

import foo
foo.print_foo()

Actual Behavior

mypy outputs "Success: no issues found in 1 source file"

Your Environment

see playground link

• Mypy version used: 1.15
• Mypy command-line flags: none (but happens with --strict also)
• Mypy configuration options from mypy.ini (and other config files):
• Python version used: 3.11, 3.12, 3.13

Inizia con la riproduzione minima in foo.py ed eseguila nel mypy playground collegato con le versioni di Python segnalate. Traccia come mypy gestisce la variabile globale definita condizionalmente a cui accede print_foo; il lavoro è completato quando segnala un errore per l'esempio, preservando al contempo l'analisi valida dello scope.