Strange type expected from inferred dict

Bug Report

Strange inference with dict.

To Reproduce

The repro is found in this Mypy playground, but here it is for convenience:

import random

value: str|None = None

if random.random() > 0.5:
    my_dict = {'a': False, 'b': None}
else:
    my_dict = {'a': True, 'b': value}

Expected Behavior

No error.

Actual Behavior

Error: main.py:8: error: Dict entry 1 has incompatible type "str": "Optional[str]"; expected "str": "Optional[bool]" [dict-item

Your Environment

• Mypy version used: 0.911
• Python version used: 3.11

まず、リンクされている mypy playground の repro を実行し、2つの辞書リテラルについて推論された型を比較します。次に、dict-item エラーを生成する辞書の型推論パスを追跡し、この例がエラーなしで型チェックされることを示す回帰テストを追加します。