Reimplement TypedDict in a similar way to Python

CHANGELOG.md

@@ -1,3 +1,11 @@
+# Release 4.7.0 (unreleased)
+
+- Align the implementation of `TypedDict` with that in 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 returns `False` when called with
+  `TypedDict` itself as the argument. Patch by Jelle Zijlstra.
+
 # Release 4.6.2 (May 25, 2023)
 
 - Fix use of `@deprecated` on classes with `__new__` but no `__init__`.

doc/index.rst

@@ -278,6 +278,11 @@ Special typing primitives
 
       Support for the ``__orig_bases__`` attribute was added.
 
+   .. versionchanged:: 4.7.0
+
+      The implementation of ``TypedDict`` now follows that in Python 3.9 and higher,
+      where ``TypedDict`` is a function rather than a class.
+
 .. class:: TypeVar(name, *constraints, bound=None, covariant=False,
                    contravariant=False, infer_variance=False, default=...)
 
@@ -611,6 +616,12 @@ Functions
 
    .. versionadded:: 4.1.0
 
+   .. versionchanged:: 4.7.0
+
+      :func:`is_typeddict` now returns ``False`` when called with
+      :data:`TypedDict` itself as the argument, consistent with the
+      behavior in :mod:`typing`.
+
 .. function:: reveal_type(obj)
 
    See :py:func:`typing.reveal_type`. In ``typing`` since 3.11.

src/_typed_dict_test_helper.py

@@ -1,7 +1,7 @@
 from __future__ import annotations
 
 from typing import Generic, Optional, T
-from typing_extensions import TypedDict
+from typing_extensions import TypedDict, Annotated, Required
 
 
 # this class must not be imported into test_typing_extensions.py at top level, otherwise
@@ -16,3 +16,7 @@ class Foo(TypedDict):
 
 class FooGeneric(TypedDict, Generic[T]):
     a: Optional[T]
+
+
+class VeryAnnotated(TypedDict, total=False):
+    a: Annotated[Annotated[Annotated[Required[int], "a"], "b"], "c"]