unexpected attr-defined error in imports in dead code

Bug Report

mypy still gives an attr-defined error in dead code when importing platform-specific attributes from modules.

To Reproduce

import sys

if sys.platform != "win32":
    assert False

from ctypes import windll

Check it on any OS other than Windows.

Expected Behavior

No errors. This is valid code since it has the platform-specific guard.

Actual Behavior

$ uvx mypy example.py 
example.py:6: error: Module "ctypes" has no attribute "windll"  [attr-defined]
Found 1 error in 1 file (checked 1 source file)

Your Environment

• Mypy version used: mypy 1.19.0 (compiled: yes)
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.12

Riproduci il report usando lo snippet example.py e uvx mypy example.py su un sistema non Windows. Traccia la gestione da parte di mypy degli import specifici della piattaforma nel codice morto, quindi aggiungi una copertura mirata per questo caso se viene individuata la posizione di test pertinente. Il lavoro è completato quando l’import protetto from ctypes import windll non produce più un errore attr-defined.