VimPlug/typeshed
1
0
Fork 0
mirror of https://github.com/davidhalter/typeshed.git synced 2025-12-07 20:54:28 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Correct MappingProxyType for 3.8+ (#12369)

Browse Source 
Co-authored-by: Shantanu <12621235+hauntsaninja@users.noreply.github.com>
This commit is contained in:
Max Muoto
2024-07-20 15:37:30 -05:00
committed by GitHub
parent 304b8e9626
commit 240e3d8004
3 changed files with 21 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
stdlib/@tests/stubtest_allowlists/py313.txt
View File

@@ -50,7 +50,6 @@ tkinter.Misc.tk_busy_hold
tkinter.Misc.tk_busy_status
tkinter.Text.count
tkinter.Wm.wm_attributes
types.MappingProxyType.get
# ======================================
# Pre-existing errors from Python <=3.12
@@ -199,3 +198,6 @@ codecs.namereplace_errors
codecs.replace_errors
codecs.strict_errors
codecs.xmlcharrefreplace_errors
# To match `dict`, we lie about the runtime, but use overloads to match the correct behavior
types.MappingProxyType.get

14
stdlib/@tests/test_cases/check_types.py
View File

@@ -1,6 +1,8 @@
import sys
import types
from collections import UserDict
from typing import Union
from typing_extensions import assert_type
# test `types.SimpleNamespace`
@@ -25,3 +27,15 @@ types.SimpleNamespace({1: 2}) # type: ignore
types.SimpleNamespace([[1, 2]]) # type: ignore
types.SimpleNamespace(UserDict({1: 2})) # type: ignore
types.SimpleNamespace([[[], 2]]) # type: ignore
# test: `types.MappingProxyType`
mp = types.MappingProxyType({1: 2, 3: 4})
mp.get("x") # type: ignore
item = mp.get(1)
assert_type(item, Union[int, None])
item_2 = mp.get(2, 0)
assert_type(item_2, int)
item_3 = mp.get(3, "default")
assert_type(item_3, Union[int, str])
# Default isn't accepted as a keyword argument.
mp.get(4, default="default") # type: ignore

4
stdlib/types.pyi
View File

@@ -304,6 +304,10 @@ class MappingProxyType(Mapping[_KT, _VT_co]):
def keys(self) -> KeysView[_KT]: ...
def values(self) -> ValuesView[_VT_co]: ...
def items(self) -> ItemsView[_KT, _VT_co]: ...
@overload
def get(self, key: _KT, /) -> _VT_co | None: ... # type: ignore[override]
@overload
def get(self, key: _KT, default: _VT_co | _T2, /) -> _VT_co | _T2: ... # type: ignore[override]
if sys.version_info >= (3, 9):
def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
def __reversed__(self) -> Iterator[_KT]: ...