From 354b938774d741a33cbabe916ae46db34afb3a05 Mon Sep 17 00:00:00 2001
From: Jelle Zijlstra <jelle.zijlstra@gmail.com>
Date: Thu, 6 Oct 2022 15:32:33 -0700
Subject: [PATCH] Add to README (#81)

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
---
 README.md                | 21 +++++++++++++++++----
 src/typing_extensions.py |  1 -
 2 files changed, 17 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index b974c1d5..bc4a7791 100644
--- a/README.md
+++ b/README.md
@@ -35,7 +35,9 @@ This module currently contains the following:
 
 - Experimental features
 
-  - (Currently none)
+  - `override` (see PEP 698)
+  - The `default=` argument to `TypeVar`, `ParamSpec`, and `TypeVarTuple` (see PEP 696)
+  - The `infer_variance=` argument to `TypeVar` (see PEP 695)
 
 - In `typing` since Python 3.11
 
@@ -50,13 +52,13 @@ This module currently contains the following:
   - `reveal_type`
   - `Required` (see PEP 655)
   - `Self` (see PEP 673)
-  - `TypeVarTuple` (see PEP 646)
+  - `TypeVarTuple` (see PEP 646; the `typing_extensions` version supports the `default=` argument from PEP 696)
   - `Unpack` (see PEP 646)
 
 - In `typing` since Python 3.10
 
   - `Concatenate` (see PEP 612)
-  - `ParamSpec` (see PEP 612)
+  - `ParamSpec` (see PEP 612; the `typing_extensions` version supports the `default=` argument from PEP 696)
   - `ParamSpecArgs` (see PEP 612)
   - `ParamSpecKwargs` (see PEP 612)
   - `TypeAlias` (see PEP 613)
@@ -96,7 +98,6 @@ This module currently contains the following:
   - `Counter`
   - `DefaultDict`
   - `Deque`
-  - `NamedTuple`
   - `NewType`
   - `NoReturn`
   - `overload`
@@ -105,6 +106,13 @@ This module currently contains the following:
   - `TYPE_CHECKING`
   - `get_type_hints`
 
+- The following have always been present in `typing`, but the `typing_extensions` versions provide
+  additional features:
+
+  - `Any` (supports inheritance since Python 3.11)
+  - `NamedTuple` (supports multiple inheritance with `Generic` since Python 3.11)
+  - `TypeVar` (see PEPs 695 and 696)
+
 # Other Notes and Limitations
 
 Certain objects were changed after they were added to `typing`, and
@@ -125,6 +133,11 @@ Certain objects were changed after they were added to `typing`, and
   `@typing_extensions.overload`.
 - `NamedTuple` was changed in Python 3.11 to allow for multiple inheritance
   with `typing.Generic`.
+- Since Python 3.11, it has been possible to inherit from `Any` at
+  runtime. `typing_extensions.Any` also provides this capability.
+- `TypeVar` gains two additional parameters, `default=` and `infer_variance=`,
+  in the draft PEPs 695 and 696, which are being considered for inclusion
+  in Python 3.12.
 
 There are a few types whose interface was modified between different
 versions of typing. For example, `typing.Sequence` was modified to
diff --git a/src/typing_extensions.py b/src/typing_extensions.py
index acb0a94f..ef42417c 100644
--- a/src/typing_extensions.py
+++ b/src/typing_extensions.py
@@ -8,7 +8,6 @@
 import typing
 
 
-# Please keep __all__ alphabetized within each category.
 __all__ = [
     # Super-special typing primitives.
     'Any',