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.

Bắt đầu bằng cách chạy đoạn snippet được báo cáo với MyPy 1.14.1 và so sánh bốn lời gọi. Sau đó, lần theo việc kiểm tra kiểu của đối số và cách xử lý union-of-Mapping để tìm khu vực kiểm thử hồi quy liên quan; được coi là hoàn tất khi lời gọi thứ ba được chấp nhận nhất quán với lời gọi thứ tư mà không gây hồi quy cho các ví dụ khác.