- Add
typing_extensions.TypeForm
from PEP 747. Patch by Jelle Zijlstra. - Add
typing_extensions.get_annotations
, a backport ofinspect.get_annotations
that adds features specified by PEP 649. Patches by Jelle Zijlstra and Alex Waygood. - Copy the coroutine status of functions and methods wrapped
with
@typing_extensions.deprecated
. Patch by Sebastian Rittau. - Fix bug where
TypeAliasType
instances could be subscripted even where they were not generic. Patch by Daraan. - Fix bug where a subscripted
TypeAliasType
instance did not have all attributes of the originalTypeAliasType
instance on older Python versions. Patch by Daraan and Alex Waygood. - Fix bug where subscripted
TypeAliasType
instances (and some other subscripted objects) had wrong parameters if they were directly subscripted with anUnpack
object. Patch by Daraan. - Backport to Python 3.10 the ability to substitute
...
in genericCallable
aliases that have aConcatenate
special form as their argument. Patch by Daraan. - Extended the
Concatenate
backport for Python 3.8-3.10 to now acceptEllipsis
as an argument. Patch by Daraan. - Fix error in subscription of
Unpack
aliases causing nested Unpacks to not be resolved correctly. Patch by Daraan. - Backport CPython PR #124795:
fix
TypeAliasType
not raising an error on non-tuple inputs fortype_params
. Patch by Daraan.
- Fix regression in v4.12.0 where specialization of certain
generics with an overridden
__eq__
method would raise errors. Patch by Jelle Zijlstra. - Fix tests so they pass on 3.13.0b2
- Preliminary changes for compatibility with the draft implementation of PEP 649 in Python 3.14. Patch by Jelle Zijlstra.
- Fix regression in v4.12.0 where nested
Annotated
types would causeTypeError
to be raised if the nestedAnnotated
type had unhashable metadata. Patch by Alex Waygood.
This release is mostly the same as 4.12.0rc1 but fixes one more longstanding bug.
- Fix incorrect behaviour of
typing_extensions.ParamSpec
on Python 3.8 and 3.9 that meant thatisinstance(typing_extensions.ParamSpec("P"), typing.TypeVar)
would have a different result in some situations depending on whether or not a profiling function had been set usingsys.setprofile
. Patch by Alex Waygood.
This release focuses on compatibility with the upcoming release of Python 3.13. Most changes are related to the implementation of type parameter defaults (PEP 696).
Thanks to all of the people who contributed patches, especially Alex Waygood, who did most of the work adapting typing-extensions to the CPython PEP 696 implementation.
Full changelog:
- Improve the implementation of type parameter defaults (PEP 696)
- Backport the
typing.NoDefault
sentinel object from Python 3.13. TypeVars, ParamSpecs and TypeVarTuples without default values now have their__default__
attribute set to this sentinel value. - TypeVars, ParamSpecs and TypeVarTuples now have a
has_default()
method, matchingtyping.TypeVar
,typing.ParamSpec
andtyping.TypeVarTuple
on Python 3.13+. - TypeVars, ParamSpecs and TypeVarTuples with
default=None
passed to their constructors now have their__default__
attribute set toNone
at runtime rather thantypes.NoneType
. - Fix most tests for
TypeVar
,ParamSpec
andTypeVarTuple
on Python 3.13.0b1 and newer. - Backport CPython PR #118774, allowing type parameters without default values to follow those with default values in some type parameter lists. Patch by Alex Waygood, backporting a CPython PR by Jelle Zijlstra.
- It is now disallowed to use a
TypeVar
with a default value after aTypeVarTuple
in a type parameter list. This matches the CPython implementation of PEP 696 on Python 3.13+. - Fix bug in PEP-696 implementation where a default value for a
ParamSpec
would be cast to a tuple if a list was provided. Patch by Alex Waygood.
- Backport the
- Fix
Protocol
tests on Python 3.13.0a6 and newer. 3.13.0a6 adds a new__static_attributes__
attribute to all classes in Python, which broke some assumptions made by the implementation oftyping_extensions.Protocol
. Similarly, 3.13.0b1 adds the new__firstlineno__
attribute to all classes. - Fix
AttributeError
when usingtyping_extensions.runtime_checkable
in combination withtyping.Protocol
on Python 3.12.2 or newer. Patch by Alex Waygood. - At runtime,
assert_never
now includes the repr of the argument in theAssertionError
. Patch by Hashem, backporting of the original fix python/cpython#91720 by Jelle Zijlstra. - The second and third parameters of
typing_extensions.Generator
, and the second parameter oftyping_extensions.AsyncGenerator
, now default toNone
. This matches the behaviour oftyping.Generator
andtyping.AsyncGenerator
on Python 3.13+. typing_extensions.ContextManager
andtyping_extensions.AsyncContextManager
now have an optional second parameter, which defaults toOptional[bool]
. The new parameter signifies the return type of the__(a)exit__
method, matchingtyping.ContextManager
andtyping.AsyncContextManager
on Python 3.13+.- Backport
types.CapsuleType
from Python 3.13. - Releases are now made using Trusted Publishers improving the security of the release process. Patch by Jelle Zijlstra.
These releases primarily test a revised release workflow. If all goes well, release 4.12.0rc1 will follow soon.
This feature release provides improvements to various recently added features, most importantly type parameter defaults (PEP 696).
There are no changes since 4.11.0rc1.
- Fix tests on Python 3.13.0a5. Patch by Jelle Zijlstra.
- Fix the runtime behavior of type parameters with defaults (PEP 696). Patch by Nadir Chowdhury.
- Fix minor discrepancy between error messages produced by
typing
andtyping_extensions
on Python 3.10. Patch by Jelle Zijlstra. - When
include_extra=False
,get_type_hints()
now stripsReadOnly
from the annotation.
This feature release adds support for PEP 728 (TypedDict with extra
items) and PEP 742 (TypeIs
).
There are no changes since 4.10.0rc1.
- Add support for PEP 728, supporting the
closed
keyword argument and the special__extra_items__
key for TypedDict. Patch by Zixuan James Li. - Add support for PEP 742, adding
typing_extensions.TypeIs
. Patch by Jelle Zijlstra. - Drop runtime error when a read-only
TypedDict
item overrides a mutable one. Type checkers should still flag this as an error. Patch by Jelle Zijlstra. - Speedup
issubclass()
checks against simple runtime-checkable protocols by around 6% (backporting python/cpython#112717, by Alex Waygood). - Fix a regression in the implementation of protocols where
typing.Protocol
classes that were not marked as@runtime_checkable
would be unnecessarily introspected, potentially causing exceptions to be raised if the protocol had problematic members. Patch by Alex Waygood, backporting python/cpython#113401.
This feature release adds typing_extensions.ReadOnly
, as specified
by PEP 705, and makes various other improvements, especially to
@typing_extensions.deprecated()
.
There are no changes since 4.9.0rc1.
- Add support for PEP 705, adding
typing_extensions.ReadOnly
. Patch by Jelle Zijlstra. - All parameters on
NewType.__call__
are now positional-only. This means that the signature oftyping_extensions.NewType.__call__
now exactly matches the signature oftyping.NewType.__call__
. Patch by Alex Waygood. - Fix bug with using
@deprecated
on a mixin class. Inheriting from a deprecated class now raises aDeprecationWarning
. Patch by Jelle Zijlstra. @deprecated
now gives a better error message if you pass a non-str
argument to themsg
parameter. Patch by Alex Waygood.@deprecated
is now implemented as a class for better introspectability. Patch by Jelle Zijlstra.- Exclude
__match_args__
fromProtocol
members. Backport of python/cpython#110683 by Nikita Sobolev. - When creating a
typing_extensions.NamedTuple
class, ensure__set_name__
is called on all objects that define__set_name__
and exist in the values of theNamedTuple
class's class dictionary. Patch by Alex Waygood, backporting python/cpython#111876. - Improve the error message when trying to call
issubclass()
against aProtocol
that has non-method members. Patch by Alex Waygood (backporting python/cpython#112344, by Randolph Scholz).
No changes since 4.8.0rc1.
- Add
typing_extensions.Doc
, as proposed by PEP 727. Patch by Sebastián Ramírez. - Drop support for Python 3.7 (including PyPy-3.7). Patch by Alex Waygood.
- Fix bug where
get_original_bases()
would return incorrect results when called on a concrete subclass of a generic class. Patch by Alex Waygood (backporting python/cpython#107584, by James Hilton-Balfe). - Fix bug where
ParamSpec(default=...)
would raise aTypeError
on Python versions <3.11. Patch by James Hilton-Balfe
- Fix support for
TypedDict
,NamedTuple
andis_protocol
on PyPy-3.7 and PyPy-3.8. Patch by Alex Waygood. Note that PyPy-3.7 and PyPy-3.8 are unsupported by the PyPy project. The next feature release of typing-extensions will drop support for PyPy-3.7 and may also drop support for PyPy-3.8.
- This is expected to be the last feature release supporting Python 3.7, which reaches its end of life on June 27, 2023. Version 4.8.0 will support only Python 3.8.0 and up.
- Fix bug where a
typing_extensions.Protocol
class that had one or more non-callable members would raiseTypeError
whenissubclass()
was called against it, even if it defined a custom__subclasshook__
method. The correct behaviour -- which has now been restored -- is not to raiseTypeError
in these situations if a custom__subclasshook__
method is defined. Patch by Alex Waygood (backporting python/cpython#105976).
- Add
typing_extensions.get_protocol_members
andtyping_extensions.is_protocol
(backport of CPython PR #104878). Patch by Jelle Zijlstra. typing_extensions
now re-exports all names in the standard library'styping
module, except the deprecatedByteString
. Patch by Jelle Zijlstra.- Due to changes in the implementation of
typing_extensions.Protocol
,typing.runtime_checkable
can now be used ontyping_extensions.Protocol
(previously, users had to usetyping_extensions.runtime_checkable
if they were usingtyping_extensions.Protocol
). - Align the implementation of
TypedDict
with the implementation in the standard library on Python 3.9 and higher.typing_extensions.TypedDict
is now a function instead of a class. The private functions_check_fails
,_dict_new
, and_typeddict_new
have been removed.is_typeddict
now returnsFalse
when called withTypedDict
itself as the argument. Patch by Jelle Zijlstra. - Declare support for Python 3.12. Patch by Jelle Zijlstra.
- Fix tests on Python 3.13, which removes support for creating
TypedDict
classes through the keyword-argument syntax. Patch by Jelle Zijlstra. - Fix a regression introduced in v4.6.3 that meant that
issubclass(object, typing_extensions.Protocol)
would erroneously raiseTypeError
. Patch by Alex Waygood (backporting the CPython PR python/cpython#105239). - Allow
Protocol
classes to inherit fromtyping_extensions.Buffer
orcollections.abc.Buffer
. Patch by Alex Waygood (backporting python/cpython#104827, by Jelle Zijlstra). - Allow classes to inherit from both
typing.Protocol
andtyping_extensions.Protocol
simultaneously. Since v4.6.0, this causedTypeError
to be raised due to a metaclass conflict. Patch by Alex Waygood. - Backport several deprecations from CPython relating to unusual ways to
create
TypedDict
s andNamedTuple
s. CPython PRs #105609 and #105780 by Alex Waygood;typing_extensions
backport by Jelle Zijlstra.- Creating a
NamedTuple
using the functional syntax with keyword arguments (NT = NamedTuple("NT", a=int)
) is now deprecated. - Creating a
NamedTuple
with zero fields using the syntaxNT = NamedTuple("NT")
orNT = NamedTuple("NT", None)
is now deprecated. - Creating a
TypedDict
with zero fields using the syntaxTD = TypedDict("TD")
orTD = TypedDict("TD", None)
is now deprecated.
- Creating a
- Fix bug on Python 3.7 where a protocol
X
that had a membera
would not be considered an implicit subclass of an unrelated protocolY
that only has a membera
. Where the members ofX
are a superset of the members ofY
,X
should always be considered a subclass ofY
iffY
is a runtime-checkable protocol that only has callable members. Patch by Alex Waygood (backporting CPython PR python/cpython#105835).
- Fix a regression introduced in v4.6.0 in the implementation of
runtime-checkable protocols. The regression meant
that doing
class Foo(X, typing_extensions.Protocol)
, whereX
was a class that hadabc.ABCMeta
as its metaclass, would then cause subsequentisinstance(1, X)
calls to erroneously raiseTypeError
. Patch by Alex Waygood (backporting the CPython PR python/cpython#105152). - Sync the repository's LICENSE file with that of CPython.
typing_extensions
is distributed under the same license as CPython itself. - Skip a problematic test on Python 3.12.0b1. The test fails on 3.12.0b1 due to
a bug in CPython, which will be fixed in 3.12.0b2. The
typing_extensions
test suite now passes on 3.12.0b1.
- Fix use of
@deprecated
on classes with__new__
but no__init__
. Patch by Jelle Zijlstra. - Fix regression in version 4.6.1 where comparing a generic class against a
runtime-checkable protocol using
isinstance()
would causeAttributeError
to be raised if using Python 3.7.
- Change deprecated
@runtime
to formal API@runtime_checkable
in the error message. Patch by Xuehai Pan. - Fix regression in 4.6.0 where attempting to define a
Protocol
that was generic over aParamSpec
or aTypeVarTuple
would causeTypeError
to be raised. Patch by Alex Waygood.
-
typing_extensions
is now documented at https://typing-extensions.readthedocs.io/en/latest/. Patch by Jelle Zijlstra. -
Add
typing_extensions.Buffer
, a marker class for buffer types, as proposed by PEP 688. Equivalent tocollections.abc.Buffer
in Python 3.12. Patch by Jelle Zijlstra. -
Backport two CPython PRs fixing various issues with
typing.Literal
: python/cpython#23294 and python/cpython#23383. Both CPython PRs were originally by Yurii Karabas, and both were backported to Python >=3.9.1, but no earlier. Patch by Alex Waygood.A side effect of one of the changes is that equality comparisons of
Literal
objects will now raise aTypeError
if one of theLiteral
objects being compared has a mutable parameter. (Using mutable parameters withLiteral
is not supported by PEP 586 or by any major static type checkers.) -
Literal
is now reimplemented on all Python versions <= 3.10.0. Thetyping_extensions
version does not suffer from the bug that was fixed in python/cpython#29334. (The CPython bugfix was backported to CPython 3.10.1 and 3.9.8, but no earlier.) -
Backport CPython PR 26067 (originally by Yurii Karabas), ensuring that
isinstance()
calls on protocols raiseTypeError
when the protocol is not decorated with@runtime_checkable
. Patch by Alex Waygood. -
Backport several significant performance improvements to runtime-checkable protocols that have been made in Python 3.12 (see python/cpython#74690 for details). Patch by Alex Waygood.
A side effect of one of the performance improvements is that the members of a runtime-checkable protocol are now considered “frozen” at runtime as soon as the class has been created. Monkey-patching attributes onto a runtime-checkable protocol will still work, but will have no impact on
isinstance()
checks comparing objects to the protocol. See "What's New in Python 3.12" for more details. -
isinstance()
checks against runtime-checkable protocols now useinspect.getattr_static()
rather thanhasattr()
to lookup whether attributes exist (backporting python/cpython#103034). This means that descriptors and__getattr__
methods are no longer unexpectedly evaluated duringisinstance()
checks against runtime-checkable protocols. However, it may also mean that some objects which used to be considered instances of a runtime-checkable protocol on older versions oftyping_extensions
may no longer be considered instances of that protocol using the new release, and vice versa. Most users are unlikely to be affected by this change. Patch by Alex Waygood. -
Backport the ability to define
__init__
methods on Protocol classes, a change made in Python 3.11 (originally implemented in python/cpython#31628 by Adrian Garcia Badaracco). Patch by Alex Waygood. -
Speedup
isinstance(3, typing_extensions.SupportsIndex)
by >10x on Python <3.12. Patch by Alex Waygood. -
Add
typing_extensions
versions ofSupportsInt
,SupportsFloat
,SupportsComplex
,SupportsBytes
,SupportsAbs
andSupportsRound
. These have the same semantics as the versions from thetyping
module, butisinstance()
checks against thetyping_extensions
versions are >10x faster at runtime on Python <3.12. Patch by Alex Waygood. -
Add
__orig_bases__
to non-generic TypedDicts, call-based TypedDicts, and call-based NamedTuples. Other TypedDicts and NamedTuples already had the attribute. Patch by Adrian Garcia Badaracco. -
Add
typing_extensions.get_original_bases
, a backport oftypes.get_original_bases
, introduced in Python 3.12 (CPython PR python/cpython#101827, originally by James Hilton-Balfe). Patch by Alex Waygood.This function should always produce correct results when called on classes constructed using features from
typing_extensions
. However, it may produce incorrect results when called on someNamedTuple
orTypedDict
classes that usetyping.{NamedTuple,TypedDict}
on Python <=3.11. -
Constructing a call-based
TypedDict
using keyword arguments for the fields now causes aDeprecationWarning
to be emitted. This matches the behaviour oftyping.TypedDict
on 3.11 and 3.12. -
Backport the implementation of
NewType
from 3.10 (where it is implemented as a class rather than a function). This allows user-definedNewType
s to be pickled. Patch by Alex Waygood. -
Fix tests and import on Python 3.12, where
typing.TypeVar
can no longer be subclassed. Patch by Jelle Zijlstra. -
Add
typing_extensions.TypeAliasType
, a backport oftyping.TypeAliasType
from PEP 695. Patch by Jelle Zijlstra. -
Backport changes to the repr of
typing.Unpack
that were made in order to implement PEP 692 (backport of python/cpython#104048). Patch by Alex Waygood.
- Runtime support for PEP 702, adding
typing_extensions.deprecated
. Patch by Jelle Zijlstra. - Add better default value for TypeVar
default
parameter, PEP 696. Enables runtime check ifNone
was passed as default. Patch by Marc Mueller (@cdce8p). - The
@typing_extensions.override
decorator now sets the.__override__
attribute. Patch by Steven Troxler. - Fix
get_type_hints()
on cross-module inheritedTypedDict
in 3.9 and 3.10. Patch by Carl Meyer. - Add
frozen_default
parameter ondataclass_transform
. Patch by Erik De Bonte.
- Add
typing_extensions.Any
a backport of python 3.11's Any class which is subclassable at runtime. (backport from python/cpython#31841, by Shantanu and Jelle Zijlstra). Patch by James Hilton-Balfe (@Gobot1234). - Add initial support for TypeVarLike
default
parameter, PEP 696. Patch by Marc Mueller (@cdce8p). - Runtime support for PEP 698, adding
typing_extensions.override
. Patch by Jelle Zijlstra. - Add the
infer_variance
parameter toTypeVar
, as specified in PEP 695. Patch by Jelle Zijlstra.
- Add
typing_extensions.NamedTuple
, allowing for genericNamedTuple
s on Python <3.11 (backport from python/cpython#92027, by Serhiy Storchaka). Patch by Alex Waygood (@AlexWaygood). - Adjust
typing_extensions.TypedDict
to allow for genericTypedDict
s on Python <3.11 (backport from python/cpython#27663, by Samodya Abey). Patch by Alex Waygood (@AlexWaygood).
- Re-export
typing.Unpack
andtyping.TypeVarTuple
on Python 3.11. - Add
ParamSpecArgs
andParamSpecKwargs
to__all__
. - Improve "accepts only single type" error messages.
- Improve the distributed package. Patch by Marc Mueller (@cdce8p).
- Update
typing_extensions.dataclass_transform
to rename thefield_descriptors
parameter tofield_specifiers
and accept arbitrary keyword arguments. - Add
typing_extensions.get_overloads
andtyping_extensions.clear_overloads
, and add registry support totyping_extensions.overload
. Backport from python/cpython#89263. - Add
typing_extensions.assert_type
. Backport from bpo-46480. - Drop support for Python 3.6. Original patch by Adam Turner (@AA-Turner).
- Fix importing
typing_extensions
on Python 3.7.0 and 3.7.1. Original patch by Nikita Sobolev (@sobolevn).
- Runtime support for PEP 646, adding
typing_extensions.TypeVarTuple
andtyping_extensions.Unpack
. - Add interaction of
Required
andNotRequired
with__required_keys__
,__optional_keys__
andget_type_hints()
. Patch by David Cabot (@d-k-bo). - Runtime support for PEP 675 and
typing_extensions.LiteralString
. - Add
Never
andassert_never
. Backport from bpo-46475. ParamSpec
args and kwargs are now equal to themselves. Backport from bpo-46676. Patch by Gregory Beauregard (@GBeauregard).- Add
reveal_type
. Backport from bpo-46414. - Runtime support for PEP 681 and
typing_extensions.dataclass_transform
. Annotated
can now wrapClassVar
andFinal
. Backport from bpo-46491. Patch by Gregory Beauregard (@GBeauregard).- Add missed
Required
andNotRequired
to__all__
. Patch by Yuri Karabas (@uriyyo). - The
@final
decorator now sets the__final__
attribute on the decorated object to allow runtime introspection. Backport from bpo-46342. - Add
is_typeddict
. Patch by Chris Moradi (@chrismoradi) and James Hilton-Balfe (@Gobot1234).
- Fix broken sdist in release 4.0.0. Patch by Adam Turner (@AA-Turner).
- Fix equality comparison for
Required
andNotRequired
. Patch by Jelle Zijlstra (@jellezijlstra). - Fix usage of
Self
as a type argument. Patch by Chris Wesseling (@CharString) and James Hilton-Balfe (@Gobot1234).
- Starting with version 4.0.0, typing_extensions uses Semantic Versioning. See the README for more information.
- Dropped support for Python versions 3.5 and older, including Python 2.7.
- Simplified backports for Python 3.6.0 and newer. Patch by Adam Turner (@AA-Turner).
- Runtime support for PEP 673 and
typing_extensions.Self
. Patch by James Hilton-Balfe (@Gobot1234). - Runtime support for PEP 655 and
typing_extensions.Required
andNotRequired
. Patch by David Foster (@davidfstr).
The following non-exported but non-private names have been removed as they are unneeded for supporting Python 3.6 and newer.
- TypingMeta
- OLD_GENERICS
- SUBS_TREE
- HAVE_ANNOTATED
- HAVE_PROTOCOLS
- V_co
- VT_co
Prior to release 4.0.0 we did not provide a changelog. Please check the Git history for details.