TypeAliasType.__type_params__ can return forms from typing_extensions (#14848)

This commit is contained in:
Carl Meyer
2025-10-07 08:45:48 -07:00
committed by GitHub
parent bc49fc5fe8
commit fe11cc058c
+11 -16
View File
@@ -1133,28 +1133,23 @@ if sys.version_info >= (3, 10):
def _type_repr(obj: object) -> str: ...
if sys.version_info >= (3, 12):
_TypeParameter: typing_extensions.TypeAlias = (
TypeVar
| typing_extensions.TypeVar
| ParamSpec
| typing_extensions.ParamSpec
| TypeVarTuple
| typing_extensions.TypeVarTuple
)
def override(method: _F, /) -> _F: ...
@final
class TypeAliasType:
def __new__(
cls,
name: str,
value: Any,
*,
type_params: tuple[
TypeVar
| typing_extensions.TypeVar
| ParamSpec
| typing_extensions.ParamSpec
| TypeVarTuple
| typing_extensions.TypeVarTuple,
...,
] = (),
) -> Self: ...
def __new__(cls, name: str, value: Any, *, type_params: tuple[_TypeParameter, ...] = ()) -> Self: ...
@property
def __value__(self) -> Any: ... # AnnotationForm
@property
def __type_params__(self) -> tuple[TypeVar | ParamSpec | TypeVarTuple, ...]: ...
def __type_params__(self) -> tuple[_TypeParameter, ...]: ...
@property
def __parameters__(self) -> tuple[Any, ...]: ... # AnnotationForm
@property