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

Führe zunächst den Reproducer a.py und b.py mit python3 -m mypy --strict /tmp/b.py aus und verfolge dann, wie Wildcard-Importe mit dem Alias-Import umgehen. Als erledigt gilt die Aufgabe, wenn das Beispiel ohne den Fehler [name-defined] typgeprüft wird und ein Regressionstest dieses Verhalten abdeckt.