From cbf79d2711208d2775f110cb9fd2ea2d5249493b Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@python.org>
Date: Wed, 16 Mar 2016 16:22:19 -0700
Subject: [PATCH] Undefined didn't make it into the standard.

---
 pep-0483.txt | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/pep-0483.txt b/pep-0483.txt
index 027a32c29..cc17fcab2 100644
--- a/pep-0483.txt
+++ b/pep-0483.txt
@@ -224,10 +224,6 @@ are still controversial or not fully specified.)
 
   *  x = []  # type: Sequence[int]
 
-- Type declarations using Undefined, e.g.
-
-  *  x = Undefined(str)
-
 - Casts using cast(T, x), e.g.
 
   * x = cast(Any, frobozz())