dict.pop: Remove default for second argument (#7481)

The first overload takes care of the case where there is only one argument, so there should be no default in the second overload.
This commit is contained in:
Jelle Zijlstra
2022-03-13 05:11:35 -07:00
committed by GitHub
parent 8134752ad8
commit 3e3cc2a6d6

View File

@@ -911,7 +911,7 @@ class dict(MutableMapping[_KT, _VT], Generic[_KT, _VT]):
@overload
def pop(self, __key: _KT) -> _VT: ...
@overload
def pop(self, __key: _KT, __default: _VT | _T = ...) -> _VT | _T: ...
def pop(self, __key: _KT, __default: _VT | _T) -> _VT | _T: ...
def __len__(self) -> int: ...
def __getitem__(self, __k: _KT) -> _VT: ...
def __setitem__(self, __k: _KT, __v: _VT) -> None: ...