mypy --strict doesn't handle wildcard imports of modules that do 'import foo as bar'

To Reproduce

a.py:

import logging as log

b.py

from a import *
log.info("Hello")

Expected Behavior

b.py should typecheck without any issue. At runtime it works fine and there are no runtime type errors, only mypy complains.

Actual Behavior

$ python3 -m mypy --strict /tmp/b.py
b.py:2: error: Name "log" is not defined  [name-defined]
Found 1 error in 1 file (checked 1 source file)

Your Environment

• Mypy version used: 1.10.0
• Mypy command-line flags: --strict
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: 3.12.3

Inizia eseguendo i reproducer a.py e b.py con python3 -m mypy --strict /tmp/b.py, quindi traccia il modo in cui gli import wildcard gestiscono l’import con alias. Il lavoro è completo quando l’esempio supera il controllo dei tipi senza l’errore [name-defined] e un test di regressione copre questo comportamento.