Erroneous arg-type error with Mapping and reversed Mapping

I get an arg-type error in MyPy 1.14.1 on the following code using a Union of inverted collections.abc.Mapping:

from collections.abc import Mapping


def fun(x: Mapping[str, int | None] | Mapping[int | None, str]):
    pass


fun({"a": 1, "b": 2})

fun({"a": 1, "b": 2, "c": None})

fun({1: "a", 2: "b"})

fun({1: "a", 2: "b", None: "c"})

The error is:

mypy_type_error.py:12: error: Argument 1 to "fun" has incompatible type "dict[int, str]"; expected "Mapping[str, int | None] | Mapping[int | None, str]" [arg-type]

That is, MyPy takes issue with the parameters in the third function call. The last call including the None key does not produce an error, though. I'd expect the third call to not show an error, either.

Inizia eseguendo lo snippet segnalato con MyPy 1.14.1 e confronta le quattro chiamate. Poi segui il controllo dei tipi degli argomenti e la gestione di union-of-Mapping per trovare l’area pertinente dei test di regressione; il lavoro è completato quando la terza chiamata viene accettata in modo coerente con la quarta senza introdurre regressioni negli altri esempi.