Repository navigation
1.7.0 Regression? No overload variant of "__or__" of "dict" matches argument type "Mapping[str, Any]" #16489
Closed as not planned
Description
Bug Report
This raises no issues in 1.6.1, but does in 1.7
To Reproduce
https://mypy-play.net/?mypy=1.7.0&python=3.11&gist=8ba136e1df27dd669f8a881052b6a3b4
from collections.abc import Mapping
from typing import Any
def make_plot(subplot_kwargs: Mapping[str, Any]) -> None:
subplot_kwargs = { # raises [operator]
"option1": "default1",
"option2": "default2",
} | subplot_kwargs
# plotfn(..., **subplot_kwargs)main.py:6: error: No overload variant of "__or__" of "dict" matches argument type "Mapping[str, Any]" [operator]
main.py:6: note: Possible overload variants:
main.py:6: note: def __or__(self, dict[str, str], /) -> dict[str, str]
main.py:6: note: def [_T1, _T2] __or__(self, dict[_T1, _T2], /) -> dict[str | _T1, str | _T2]
Activity
JelleZijlstra commentedon Nov 14, 2023
This is python/typeshed#10679 and the error is correct:
dict.__or__doesn't accept arbitrary Mappings.Use mypy v1.15.0 in pre-commit (#1535)
Use mypy v1.15.0 in pre-commit (#1535)
Use mypy v1.15.0 in pre-commit (#1535)
Use mypy v1.15.0 in pre-commit (#1535)
Use mypy v1.15.0 in pre-commit (#1535)