Running python.exe -m mypy . on a directory where there's a script with from os import EX_OK leads to an error on Windows:
pdfcomments\__main__.py:20: error: Module "os" has no attribute "EX_OK"; maybe "X_OK"? [attr-defined]
stdlib/os/__init__.pyi contains a type hint for EX_OK that is guarded by an if sys.platform != "win32" block. However, since python/cpython@19459f8, EX_OK has been supported on Windows. It should be placed outside the guard block.
Running
python.exe -m mypy .on a directory where there's a script withfrom os import EX_OKleads to an error on Windows:stdlib/os/__init__.pyicontains a type hint forEX_OKthat is guarded by anif sys.platform != "win32"block. However, since python/cpython@19459f8,EX_OKhas been supported on Windows. It should be placed outside the guard block.