Skip to content

Update typing.Union and types.UnionType definitions for 3.14 #13740

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
Viicos wants to merge 4 commits into
base: main
Choose a base branch
from
Draft

Update typing.Union and types.UnionType definitions for 3.14 #13740

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
c7ec215
Update `typing.Union` and `types.UnionType` definitions for 3.14
Viicos Mar 29, 2025
0069252
Merge branch 'main' into union-314
Viicos May 15, 2025
c56ac35
Merge branch 'main' into union-314
Viicos Jun 4, 2026
120a1ed
lint
Viicos Jun 4, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Update typing.Union and types.UnionType definitions for 3.14
  • Loading branch information
@Viicos
Viicos committed Mar 29, 2025
commit c7ec2158ea81579e523169def13788eb3dccf8a4
27 changes: 15 additions & 12 deletions stdlib/types.pyi
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ from collections.abc import (
from importlib.machinery import ModuleSpec

# pytype crashes if types.MappingProxyType inherits from collections.abc.Mapping instead of typing.Mapping
from typing import Any, ClassVar, Literal, Mapping, TypeVar, final, overload # noqa: Y022
from typing import Any, ClassVar, Literal, Mapping, TypeVar, Union, final, overload # noqa: Y022
from typing_extensions import ParamSpec, Self, TypeAliasType, TypeVarTuple, deprecated

__all__ = [
Expand Down Expand Up @@ -672,17 +672,9 @@ if sys.version_info >= (3, 9):
# GenericAlias delegates attr access to `__origin__`
def __getattr__(self, name: str) -> Any: ...

if sys.version_info >= (3, 10):
@final
class NoneType:
def __bool__(self) -> Literal[False]: ...

@final
class EllipsisType: ...

from builtins import _NotImplementedType

NotImplementedType = _NotImplementedType
if sys.version_info >= (3, 14):
UnionType = Union
elif sys.version_info >= (3, 10):
@final
class UnionType:
@property
Expand All @@ -694,6 +686,17 @@ if sys.version_info >= (3, 10):
def __eq__(self, value: object, /) -> bool: ...
def __hash__(self) -> int: ...

@final
class NoneType:
def __bool__(self) -> Literal[False]: ...

@final
class EllipsisType: ...

from builtins import _NotImplementedType

NotImplementedType = _NotImplementedType

if sys.version_info >= (3, 13):
@final
class CapsuleType: ...
17 changes: 16 additions & 1 deletion stdlib/typing.pyi
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -201,7 +201,22 @@ class _SpecialForm(_Final):
def __or__(self, other: Any) -> _SpecialForm: ...
def __ror__(self, other: Any) -> _SpecialForm: ...

Union: _SpecialForm
if sys.version_info >= (3, 14):
@final
class Union:
@property
def __args__(self) -> tuple[Any, ...]: ...
@property
def __parameters__(self) -> tuple[Any, ...]: ...
def __or__(self, value: Any, /) -> UnionType: ...
def __ror__(self, value: Any, /) -> UnionType: ...
def __eq__(self, value: object, /) -> bool: ...
def __hash__(self) -> int: ...
def __class_getitem__(cls, item: Any) -> Self: ...

else:
Union: _SpecialForm

Generic: _SpecialForm
# Protocol is only present in 3.8 and later, but mypy needs it unconditionally
Protocol: _SpecialForm
Expand Down