Mapping.{get,pop} can return default type

Author: tharvik

stdlib/2.7/__builtin__.pyi

@@ -534,8 +534,8 @@ class dict(MutableMapping[_KT, _VT], Generic[_KT, _VT]):
     def has_key(self, k: _KT) -> bool: ...
     def clear(self) -> None: ...
     def copy(self) -> Dict[_KT, _VT]: ...
-    def get(self, k: _KT, default: _VT = None) -> _VT: ...
-    def pop(self, k: _KT, default: _VT = ...) -> _VT: ...
+    def get(self, k: _KT, default: _T = None) -> Union[_VT, _T]: ...
+    def pop(self, k: _KT, default: _T = ...) -> Union[_VT, _T]: ...
     def popitem(self) -> Tuple[_KT, _VT]: ...
     def setdefault(self, k: _KT, default: _VT = ...) -> _VT: ...
     @overload

stdlib/2.7/typing.pyi

@@ -161,7 +161,7 @@ class Mapping(Sized, Iterable[_KT], Container[_KT], Generic[_KT, _VT]):
     @abstractmethod
     def __getitem__(self, k: _KT) -> _VT: ...
     # Mixin methods
-    def get(self, k: _KT, default: _VT = ...) -> _VT: ...
+    def get(self, k: _KT, default: _T = ...) -> Union[_VT, _T]: ...
     def keys(self) -> list[_KT]: ...
     def values(self) -> list[_VT]: ...
     def items(self) -> list[Tuple[_KT, _VT]]: ...
@@ -177,7 +177,7 @@ class MutableMapping(Mapping[_KT, _VT], Generic[_KT, _VT]):
     def __delitem__(self, v: _KT) -> None: ...
 
     def clear(self) -> None: ...
-    def pop(self, k: _KT, default: _VT = ...) -> _VT: ...
+    def pop(self, k: _KT, default: _T = ...) -> Union[_VT, _T]: ...
     def popitem(self) -> Tuple[_KT, _VT]: ...
     def setdefault(self, k: _KT, default: _VT = ...) -> _VT: ...
     @overload

stdlib/3/builtins.pyi

@@ -507,8 +507,8 @@ class dict(MutableMapping[_KT, _VT], Generic[_KT, _VT]):
     def __init__(self, iterable: Iterable[Tuple[_KT, _VT]], **kwargs: _VT) -> None: ...
     def clear(self) -> None: ...
     def copy(self) -> Dict[_KT, _VT]: ...
-    def get(self, k: _KT, default: _VT = None) -> _VT: ...
-    def pop(self, k: _KT, default: _VT = None) -> _VT: ...
+    def get(self, k: _KT, default: _T = None) -> Union[_VT, _T]: ...
+    def pop(self, k: _KT, default: _T = None) -> Union[_VT, _T]: ...
     def popitem(self) -> Tuple[_KT, _VT]: ...
     def setdefault(self, k: _KT, default: _VT = None) -> _VT: ...
     @overload

stdlib/3/typing.pyi

@@ -221,7 +221,7 @@ class Mapping(Iterable[_KT], Container[_KT], Sized, Generic[_KT, _VT]):
     @abstractmethod
     def __getitem__(self, k: _KT) -> _VT: ...
     # Mixin methods
-    def get(self, k: _KT, default: _VT = ...) -> _VT: ...
+    def get(self, k: _KT, default: _T = ...) -> Union[_VT, _T]: ...
     def items(self) -> AbstractSet[Tuple[_KT, _VT]]: ...
     def keys(self) -> AbstractSet[_KT]: ...
     def values(self) -> ValuesView[_VT]: ...
@@ -234,7 +234,7 @@ class MutableMapping(Mapping[_KT, _VT], Generic[_KT, _VT]):
     def __delitem__(self, v: _KT) -> None: ...
 
     def clear(self) -> None: ...
-    def pop(self, k: _KT, default: _VT = ...) -> _VT: ...
+    def pop(self, k: _KT, default: _T = ...) -> Union[_VT, _T]: ...
     def popitem(self) -> Tuple[_KT, _VT]: ...
     def setdefault(self, k: _KT, default: _VT = ...) -> _VT: ...
     # 'update' used to take a Union, but using overloading is better.