Allow arbitrary types dict.pop (3 overloads)

Author: randolf-scholz

stdlib/builtins.pyi

@@ -1228,6 +1228,8 @@ class dict(MutableMapping[_KT, _VT]):
     @overload
     def pop(self, key: object, /) -> _VT: ...
     @overload
+    def pop(self, key: object, default: _VT, /) -> _VT: ...
+    @overload
     def pop(self, key: object, default: _T, /) -> _VT | _T: ...
     def __len__(self) -> int: ...
     def __getitem__(self, key: _KT, /) -> _VT: ...

stdlib/typing.pyi

@@ -794,6 +794,8 @@ class MutableMapping(Mapping[_KT, _VT]):
     @overload
     def pop(self, key: Any, /) -> _VT: ...
     @overload
+    def pop(self, key: Any, default: _VT, /) -> _VT: ...
+    @overload
     def pop(self, key: Any, default: _T, /) -> _VT | _T: ...
     def popitem(self) -> tuple[_KT, _VT]: ...
     # This overload should be allowed only if the value type is compatible with None.