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

Comienza ejecutando la repro enlazada de mypy playground y compara los tipos inferidos para los dos literales de diccionario. Rastrea la ruta de inferencia de tipos del diccionario que produce el error dict-item y, después, añade una prueba de regresión que muestre que este ejemplo se comprueba sin errores.