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

Commencez par exécuter la repro mypy playground liée et comparez les types inférés pour les deux littéraux de dictionnaire. Suivez le chemin d’inférence de type du dictionnaire qui produit l’erreur dict-item, puis ajoutez un test de régression montrant que cet exemple est vérifié sans erreur.