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.

Empieza ejecutando el fragmento reportado con MyPy 1.14.1 y compara las cuatro llamadas. Después, sigue la comprobación de los tipos de argumentos y el tratamiento de union-of-Mapping para encontrar el área relevante de pruebas de regresión; estará hecho cuando la tercera llamada se acepte de forma coherente con la cuarta sin introducir regresiones en los demás ejemplos.