A few more

Author: JelleZijlstra

stdlib/typing_extensions.pyi

@@ -211,12 +211,14 @@ if sys.version_info >= (3, 10):
 else:
     @final
     class ParamSpecArgs:
-        __origin__: ParamSpec
+        @property
+        def __origin__(self) -> ParamSpec: ...
         def __init__(self, origin: ParamSpec) -> None: ...
 
     @final
     class ParamSpecKwargs:
-        __origin__: ParamSpec
+        @property
+        def __origin__(self) -> ParamSpec: ...
         def __init__(self, origin: ParamSpec) -> None: ...
 
     Concatenate: _SpecialForm

tests/stubtest_allowlists/py311.txt

@@ -126,7 +126,7 @@ contextlib.AbstractAsyncContextManager.__class_getitem__
 contextlib.AbstractContextManager.__class_getitem__
 
 # Super-special typing primitives
-typing._SpecialForm.__mro_entries__
+typing\._SpecialForm.*
 typing._TypedDict.__delitem__
 typing._TypedDict.__ior__
 typing._TypedDict.__or__

tests/stubtest_allowlists/py37.txt

@@ -159,3 +159,6 @@ typing_extensions\.reveal_type
 
 # Doesn't exist at runtime
 typing\.Protocol
+
+# Function at runtime; we pretend it's already a class
+typing_extensions\.NewType

tests/stubtest_allowlists/py38.txt

@@ -174,3 +174,6 @@ types.WrapperDescriptorType.__get__
 typing_extensions\.assert_never
 typing_extensions\.assert_type
 typing_extensions\.reveal_type
+
+# Function at runtime; we pretend it's already a class
+typing_extensions\.NewType

tests/stubtest_allowlists/py39.txt

@@ -170,3 +170,6 @@ types.WrapperDescriptorType.__get__
 typing_extensions\.assert_never
 typing_extensions\.assert_type
 typing_extensions\.reveal_type
+
+# Function at runtime; we pretend it's already a class
+typing_extensions\.NewType

tests/stubtest_allowlists/py3_common.txt

@@ -409,13 +409,14 @@ tempfile._TemporaryFileWrapper.[\w_]+  # Dynamically specified by __getattr__, a
 
 # Details of runtime definition don't need to be in stubs
 typing_extensions\._SpecialForm.*
-typing\._SpecialForm.*
 typing_extensions\.TypeVar.*
 typing_extensions\.TypeVarTuple.*
 typing_extensions\.ParamSpec.*
 typing\.Generic
+typing\.Protocol
 
 # Special primitives
+typing_extensions\.Annotated
 typing_extensions\.NamedTuple
 typing_extensions\.LiteralString
 typing_extensions\.Final
@@ -467,7 +468,7 @@ typing_extensions\.TypeAliasType\.__call__
 typing_extensions\.TypeAliasType\.__init_subclass__
 
 # We call them read-only properties, runtime implementation is slightly different
-typing_extensions\.TypeAliasType\.__(parameters|type_params|name|module)__
+typing_extensions\.TypeAliasType\.__(parameters|type_params|name|module|value)__
 
 # https://github.com/python/mypy/issues/15302
 typing_extensions\.deprecated