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

[KotlinIsland]

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: (🐞) Invalid per-module options in inline configuration are silently ignored #12342