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

Inizia eseguendo la repro collegata di mypy playground e confronta i tipi inferiti per i due letterali di dizionario. Traccia il percorso di inferenza dei tipi del dizionario che produce l’errore dict-item, quindi aggiungi un test di regressione che dimostri che questo esempio viene verificato senza errori.