mypy does not recognize sys.platform with ternary operator

Bug Report

mypy can recognize sys.platform in if cond: ... / else: ... conditions but fails to do it if ternary operator (a if cond else b) is used.

To Reproduce

Consider this piece of code, assuming we are on Linux:

import signal
import sys

signal_type = signal.SIGBREAK if sys.platform == 'win32' else signal.SIGTERM

Expected Behavior

mypy should not raise any error.

Actual Behavior

mypy fails with:

main.py:4: error: Module has no attribute "SIGBREAK"
Found 1 error in 1 file (checked 1 source file)

Environment

• Mypy version used: 0.961
• Python version used: 3.10
• Operating system: Linux

まず、Linux 上で mypy を使って main.py の報告されたスニペットを実行し、SIGBREAK エラーを確認します。次に、通常の if/else 文と条件式で mypy が sys.platform のチェックをどのように処理するかを追跡します。三項形式でプラットフォームに適用できない属性のエラーが報告されなくなれば完了です。