add dict.{keys,values,items}().mapping

KotlinIsland · KotlinIsland · commit 1ec67583b724 · 2021-09-17T10:29:05.000+10:00
diff --git a/stdlib/builtins.pyi b/stdlib/builtins.pyi
@@ -21,7 +21,7 @@ from _typeshed import (
 )
 from ast import AST, mod
 from io import BufferedRandom, BufferedReader, BufferedWriter, FileIO, TextIOWrapper
-from types import CodeType, TracebackType
+from types import CodeType, MappingProxyType, TracebackType
 from typing import (
     IO,
     AbstractSet,
@@ -787,6 +787,18 @@ class list(MutableSequence[_T], Generic[_T]):
     if sys.version_info >= (3, 9):
         def __class_getitem__(cls, item: Any) -> GenericAlias: ...
 
+class _dict_keys(KeysView[_KT], Generic[_KT, _VT]):
+    if sys.version_info >= (3, 10):
+        mapping: MappingProxyType[_KT, _VT]
+
+class _dict_values(ValuesView[_VT], Generic[_KT, _VT]):
+    if sys.version_info >= (3, 10):
+        mapping: MappingProxyType[_KT, _VT]
+
+class _dict_items(ItemsView[_KT, _VT], Generic[_KT, _VT]):
+    if sys.version_info >= (3, 10):
+        mapping: MappingProxyType[_KT, _VT]
+
 class dict(MutableMapping[_KT, _VT], Generic[_KT, _VT]):
     @overload
     def __init__(self: dict[_KT, _VT]) -> None: ...
@@ -807,9 +819,9 @@ class dict(MutableMapping[_KT, _VT], Generic[_KT, _VT]):
     def update(self, __m: Iterable[Tuple[_KT, _VT]], **kwargs: _VT) -> None: ...
     @overload
     def update(self, **kwargs: _VT) -> None: ...
-    def keys(self) -> KeysView[_KT]: ...
-    def values(self) -> ValuesView[_VT]: ...
-    def items(self) -> ItemsView[_KT, _VT]: ...
+    def keys(self) -> _dict_keys[_KT, _VT]: ...
+    def values(self) -> _dict_values[_KT, _VT]: ...
+    def items(self) -> _dict_items[_KT, _VT]: ...
     @classmethod
     @overload
     def fromkeys(cls, __iterable: Iterable[_T], __value: None = ...) -> dict[_T, Any | None]: ...
