try without overload (using defaul=None)

Author: randolf-scholz

stdlib/@tests/test_cases/builtins/check_dict.py

@@ -88,7 +88,8 @@ def test_iterable_tuple_overload(x: Iterable[tuple[int, str]]) -> dict[int, str]
 # Now with context!
 result: str
 result = d_any["key"]
-result = d_any.get("key")  # type: ignore[assignment]
+# FIXME: https://github.com/python/mypy/issues/20576 prevents using ignore[assignment] here
+result = d_any.get("key")  # type: ignore
 # FIXME: https://github.com/python/mypy/issues/20576 prevents using ignore[assignment] here
 result = d_any.get("key", None)  # type: ignore
 result = d_any.get("key", any_value)
@@ -97,7 +98,8 @@ def test_iterable_tuple_overload(x: Iterable[tuple[int, str]]) -> dict[int, str]
 result = d_any.get("key", int_value)  # type: ignore
 
 result = d_str["key"]
-result = d_str.get("key")  # type: ignore[assignment]
+# FIXME: https://github.com/python/mypy/issues/20576 prevents using ignore[assignment] here
+result = d_str.get("key")  # type: ignore
 # FIXME: https://github.com/python/mypy/issues/20576 prevents using ignore[assignment] here
 result = d_str.get("key", None)  # type: ignore
 result = d_str.get("key", any_value)
@@ -126,7 +128,8 @@ def test_get_literal(d: dict[Literal["foo", "bar"], int], dynamic_key: str) -> N
 
 
 def test2() -> str:
-    return d_any.get("key")  # type: ignore[return-value]
+    # FIXME: https://github.com/python/mypy/issues/20576 prevents using ignore[return-value] here
+    return d_any.get("key")  # type: ignore
 
 
 # def test3() -> str:
@@ -150,7 +153,8 @@ def test7() -> str:
 
 
 def test8() -> str:
-    return d_str.get("key")  # type: ignore[return-value]
+    # FIXME: https://github.com/python/mypy/issues/20576 prevents using ignore[return-value] here
+    return d_str.get("key")  # type: ignore
 
 
 def test9() -> str:

stdlib/builtins.pyi

@@ -79,6 +79,7 @@ if sys.version_info >= (3, 14):
     from _typeshed import AnnotateFunc
 
 _T = TypeVar("_T")
+_N = TypeVar("_N", default=None)
 _I = TypeVar("_I", default=int)
 _T_co = TypeVar("_T_co", covariant=True)
 _T_contra = TypeVar("_T_contra", contravariant=True)
@@ -1218,14 +1219,8 @@ class dict(MutableMapping[_KT, _VT]):
     @classmethod
     @overload
     def fromkeys(cls, iterable: Iterable[_T], value: _S, /) -> dict[_T, _S]: ...
-    @overload
-    def get(self, key: object, /) -> _VT | None: ...
-    @overload
-    def get(self, key: object, default: _T, /) -> _VT | _T: ...
-    @overload  # type: ignore[override]
-    def pop(self, key: object, /) -> _VT | None: ...
-    @overload
-    def pop(self, key: object, default: _T, /) -> _VT | _T: ...
+    def get(self, key: object, default: _N = None, /) -> _VT | _N: ...
+    def pop(self, key: object, default: _N = None, /) -> _VT | _N: ...
     def __len__(self) -> int: ...
     def __getitem__(self, key: _KT, /) -> _VT: ...
     def __setitem__(self, key: _KT, value: _VT, /) -> None: ...

stdlib/collections/__init__.pyi

@@ -107,13 +107,13 @@ class UserDict(MutableMapping[_KT, _VT]):
     if sys.version_info >= (3, 12):
         # UserDict allows key and default as keyword arguments
         @overload
-        def get(self, key: object) -> _VT | None: ...
-        @overload
         def get(self, key: object, default: _T) -> _VT | _T: ...
-        @overload  # type: ignore[override]
-        def pop(self, key: object) -> _VT | None: ...
+        @overload
+        def get(self, key: object, default: None = None) -> _VT | None: ...
         @overload
         def pop(self, key: object, default: _T) -> _VT | _T: ...
+        @overload  # type: ignore[override]
+        def pop(self, key: object, default: None = None) -> _VT | None: ...
 
 class UserList(MutableSequence[_T]):
     data: list[_T]
@@ -384,10 +384,10 @@ class OrderedDict(dict[_KT, _VT]):
     @overload
     def setdefault(self, key: _KT, default: _VT) -> _VT: ...
     # Same as dict.pop, but accepts keyword arguments
-    @overload  # type: ignore[override]
-    def pop(self, key: object) -> _VT | None: ...
     @overload
     def pop(self, key: object, default: _T) -> _VT | _T: ...
+    @overload  # type: ignore[override]
+    def pop(self, key: object, default: None = None) -> _VT | None: ...
     def __eq__(self, value: object, /) -> bool: ...
     @overload
     def __or__(self, value: dict[_KT, _VT], /) -> Self: ...

stdlib/importlib/metadata/__init__.pyi

@@ -165,11 +165,9 @@ if sys.version_info >= (3, 10) and sys.version_info < (3, 12):
     class Deprecated(Generic[_KT, _VT]):
         def __getitem__(self, name: _KT) -> _VT: ...
         @overload
-        def get(self, name: _KT, default: None = None) -> _VT | None: ...
+        def get(self, key: object, default: _T) -> _VT | _T: ...
         @overload
-        def get(self, name: _KT, default: _VT) -> _VT: ...
-        @overload
-        def get(self, name: _KT, default: _T) -> _VT | _T: ...
+        def get(self, key: object, default: None = None) -> _VT | None: ...
         def __iter__(self) -> Iterator[_KT]: ...
         def __contains__(self, *args: object) -> bool: ...
         def keys(self) -> dict_keys[_KT, _VT]: ...