Mypy not reporting "undefined" variable.

Bug Report

When using a "undefined" variable, which will immediately crash the code when running it, mypy does not report anything about it. Is it normal ?

I feel like mypy should report it but maybe I am wrong because this isn't a typing error. On the other hand, this error is only possible because typing annotations exist . What do you think ?

To Reproduce

Dump this in a file main.py:

number: int
print(number)

Gist URL: https://gist.github.com/mypy-play/31d3775229a6fe01af6bbb09b9230a18
Playground URL: https://mypy-play.net/?mypy=latest&python=3.11&gist=31d3775229a6fe01af6bbb09b9230a18

Expected Behavior

An error message, maybe something like this.

main.py:2: error: Using an undefined variable, a value must be set before first.  [var-undefined]

Actual Behavior

$ mypy --strict main.py
Success: no issues found in 1 source file

python main.py
Traceback (most recent call last):
  File "/home/user/main.py", line 2, in <module>
    print(number)
          ^^^^^^
NameError: name 'number' is not defined

Your Environment

• Mypy version used: 1.3.0
• Mypy command-line flags: --strict
• Mypy configuration options from mypy.ini (and other config files): nothing
• Python version used: 3.11.3

Comienza reproduciendo el comportamiento con el ejemplo main.py y mypy --strict main.py. Revisa cómo gestiona el checker una variable que solo tiene una anotación antes de decidir si este caso debería recibir un diagnóstico como [var-undefined]. La tarea está terminada cuando el comportamiento está cubierto por una prueba y un diagnóstico adecuados, o cuando el comportamiento esperado está documentado como no compatible.