From 3e3cc2a6d60e885ac2666f7a97d5cac7ba510c69 Mon Sep 17 00:00:00 2001 From: Jelle Zijlstra Date: Sun, 13 Mar 2022 05:11:35 -0700 Subject: [PATCH] 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. --- stdlib/builtins.pyi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stdlib/builtins.pyi b/stdlib/builtins.pyi index 9ce6959a1..176d07a9d 100644 --- a/stdlib/builtins.pyi +++ b/stdlib/builtins.pyi @@ -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: ...