From 832a03ee96cd5ab0224a9d9569169ae158e56d2f Mon Sep 17 00:00:00 2001
From: kj <28750310+Fidget-Spinner@users.noreply.github.com>
Date: Thu, 24 Dec 2020 11:40:05 +0800
Subject: [PATCH 1/2] Remove unused var, link to CPython implementation

---
 pep-0612.rst | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pep-0612.rst b/pep-0612.rst
index 200759f7a27..dcd197e0e02 100644
--- a/pep-0612.rst
+++ b/pep-0612.rst
@@ -216,7 +216,6 @@ inheriting from ``Generic[P]`` makes a class generic on
 .. code-block::
 
    T = TypeVar("T")
-   S = TypeVar("S")
    P_2 = ParamSpec("P_2")
 
    class X(Generic[T, P]):
@@ -577,7 +576,9 @@ Reference Implementation
 
 The `Pyre <https://pyre-check.org/>`_ type checker supports all of the behavior
 described above.  A reference implementation of the runtime components needed
-for those uses is provided in the ``pyre_extensions`` module.
+for those uses is provided in the ``pyre_extensions`` module.  A reference
+implementation for CPython can be found 
+`here <https://github.com/python/cpython/pull/23702>`_.
 
 Rejected Alternatives
 ---------------------

From c2ba65bb63e9e99a19213ec0afd02d93babf54c1 Mon Sep 17 00:00:00 2001
From: kj <28750310+Fidget-Spinner@users.noreply.github.com>
Date: Thu, 24 Dec 2020 12:07:40 +0800
Subject: [PATCH 2/2] fix typevar typo

---
 pep-0612.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pep-0612.rst b/pep-0612.rst
index dcd197e0e02..57caa0a0e55 100644
--- a/pep-0612.rst
+++ b/pep-0612.rst
@@ -299,7 +299,7 @@ evaluated in the same way.
 
 .. code-block::
 
-   U = TypeVar("T")
+   U = TypeVar("U")
 
    class Y(Generic[U, P]):
      f: Callable[P, str]