Type is lost after merge with `Union[Any, None]`

Bug Report

from typing import Any

def func(d: dict[int, Any]) -> None:
    x: int | None
    x = d.get(1)
    reveal_type(x)  # typing is lost -> Union[Any, None]

d.get get's correctly inferred as Any | None. However, merging the existing type int | None with Any | None results in Any | None. I.e. mypy looses the original type information. That is unexpected.

Comparing it to a type merge with just Any:

def f(a: Any) -> None:
    x: int | None
    x = a
    reveal_type(x)  # int | None

In this case x retains the type information, as expected.

--
Another example which doesn't rely on dict.get

def g(a: Any | None) -> None:
    x: int | None
    x = a
    reveal_type(x)  # typing is lost -> Union[Any, None]

Expected Behavior

Mypy should retain the original type information even after merging it with Any | None.

Your Environment

• Mypy version used: 0.971

Inizia con le tre funzioni di riproduzione nell’issue ed eseguili con mypy e reveal_type per confermare il comportamento attuale. Traccia la logica di fusione dei tipi e di assegnazione per un valore esistente di tipo int | None combinato con Any | None. Il lavoro è completato quando il tipo inferito rimane int | None in tutti gli esempi mostrati, con una copertura di regressione per questi casi.