Some more

Author: JelleZijlstra

tests/stubtest_allowlists/py310.txt

@@ -172,3 +172,8 @@ dataclasses.KW_ONLY
 
 # We pretend it's a read-only property for forward compatibility with 3.12
 typing.ParamSpec(Args|Kwargs).__origin__
+
+# https://github.com/python/mypy/issues/15302
+typing_extensions\.assert_never
+typing_extensions\.assert_type
+typing_extensions\.reveal_type

tests/stubtest_allowlists/py37.txt

@@ -151,3 +151,11 @@ types.GetSetDescriptorType.__get__
 types.MemberDescriptorType.__get__
 types.MethodDescriptorType.__get__
 types.WrapperDescriptorType.__get__
+
+# https://github.com/python/mypy/issues/15302
+typing_extensions\.assert_never
+typing_extensions\.assert_type
+typing_extensions\.reveal_type
+
+# Doesn't exist at runtime
+typing\.Protocol

tests/stubtest_allowlists/py38.txt

@@ -169,3 +169,8 @@ types.GetSetDescriptorType.__get__
 types.MemberDescriptorType.__get__
 types.MethodDescriptorType.__get__
 types.WrapperDescriptorType.__get__
+
+# https://github.com/python/mypy/issues/15302
+typing_extensions\.assert_never
+typing_extensions\.assert_type
+typing_extensions\.reveal_type

tests/stubtest_allowlists/py39.txt

@@ -165,3 +165,8 @@ types.GetSetDescriptorType.__get__
 types.MemberDescriptorType.__get__
 types.MethodDescriptorType.__get__
 types.WrapperDescriptorType.__get__
+
+# https://github.com/python/mypy/issues/15302
+typing_extensions\.assert_never
+typing_extensions\.assert_type
+typing_extensions\.reveal_type

tests/stubtest_allowlists/py3_common.txt

@@ -408,10 +408,11 @@ re.Pattern.scanner  # Undocumented and not useful. #6405
 tempfile._TemporaryFileWrapper.[\w_]+  # Dynamically specified by __getattr__, and thus don't exist on the class
 
 # Details of runtime definition don't need to be in stubs
-typing_extensions\._SpecialForm
-typing\._SpecialForm
-typing_extensions\.TypeVar
-typing_extensions\.TypeVarTuple
+typing_extensions\._SpecialForm.*
+typing\._SpecialForm.*
+typing_extensions\.TypeVar.*
+typing_extensions\.TypeVarTuple.*
+typing_extensions\.ParamSpec.*
 typing\.Generic
 
 # Special primitives
@@ -420,8 +421,10 @@ typing_extensions\.LiteralString
 typing_extensions\.Final
 typing_extensions\.Coroutine
 typing_extensions\.Awaitable
+typing_extensions\.AsyncIterator
 typing_extensions\.AsyncIterable
 typing_extensions\.AsyncGenerator
+typing\.ValuesView
 typing\.Sized
 typing\.Sequence
 typing\.Reversible
@@ -432,12 +435,14 @@ typing\.MutableSequence
 typing\.MutableMapping
 typing\.Match
 typing\.MappingView
+typing\.Mapping
 typing\.LiteralString
 typing\.KeysView
 typing\.Iterator
 typing\.Iterable
 typing\.ItemsView
 typing\.Hashable
+typing\.Generator
 typing\.Coroutine
 typing\.Collection
 typing\.Container