Skip to content

Commit fe11cc0

Browse files
authored
TypeAliasType.__type_params__ can return forms from typing_extensions (#14848)
1 parent bc49fc5 commit fe11cc0

File tree

1 file changed

+11
-16
lines changed

1 file changed

+11
-16
lines changed

stdlib/typing.pyi

Lines changed: 11 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1133,28 +1133,23 @@ if sys.version_info >= (3, 10):
11331133
def _type_repr(obj: object) -> str: ...
11341134

11351135
if sys.version_info >= (3, 12):
1136+
_TypeParameter: typing_extensions.TypeAlias = (
1137+
TypeVar
1138+
| typing_extensions.TypeVar
1139+
| ParamSpec
1140+
| typing_extensions.ParamSpec
1141+
| TypeVarTuple
1142+
| typing_extensions.TypeVarTuple
1143+
)
1144+
11361145
def override(method: _F, /) -> _F: ...
11371146
@final
11381147
class TypeAliasType:
1139-
def __new__(
1140-
cls,
1141-
name: str,
1142-
value: Any,
1143-
*,
1144-
type_params: tuple[
1145-
TypeVar
1146-
| typing_extensions.TypeVar
1147-
| ParamSpec
1148-
| typing_extensions.ParamSpec
1149-
| TypeVarTuple
1150-
| typing_extensions.TypeVarTuple,
1151-
...,
1152-
] = (),
1153-
) -> Self: ...
1148+
def __new__(cls, name: str, value: Any, *, type_params: tuple[_TypeParameter, ...] = ()) -> Self: ...
11541149
@property
11551150
def __value__(self) -> Any: ... # AnnotationForm
11561151
@property
1157-
def __type_params__(self) -> tuple[TypeVar | ParamSpec | TypeVarTuple, ...]: ...
1152+
def __type_params__(self) -> tuple[_TypeParameter, ...]: ...
11581153
@property
11591154
def __parameters__(self) -> tuple[Any, ...]: ... # AnnotationForm
11601155
@property

0 commit comments

Comments
 (0)