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

Führe zunächst die verlinkte mypy playground-Repro aus und vergleiche die inferierten Typen für die beiden Dictionary-Literale. Verfolge anschließend den Pfad der Typinferenz für das Dictionary, der den dict-item-Fehler erzeugt, und füge dann einen Regressionstest hinzu, der zeigt, dass dieses Beispiel ohne Fehler typgeprüft wird.