(🐞) platform specified in inline configuration results in wacky behavior

It seems like even though this is not a per module option, it is still being applied to the module, but it's using the global(linux) type defs.

import sys, winreg

if sys.platform == "win32":
    winreg.QueryValueEx

# Success: no issues found in 1 source file

# mypy: platform=win32
import sys, winreg

if sys.platform == "win32":
    winreg.QueryValueEx  # test.py:5:5: error: Module has no attribute "QueryValueEx"  [attr-defined]

playground

• Relates to: #12342

提供されている mypy-play の再現例から始め、インライン設定 # mypy: platform=win32 が同等のグローバルなプラットフォーム設定とどのように処理されるかを比較します。インラインオプションがあるにもかかわらず、モジュールが Linux の型定義を使用する理由を確認します。完了条件は、インライン設定で保護された winreg.QueryValueEx 参照が受け入れられ、例を対象とするリグレッションテストがあることです。