Withdrawing PEP 724.

erictraut · Feb 8, 2024 · 0cba972 · 0cba972
1 parent 2b91368
commit 0cba972
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/peps/pep-0724.rst b/peps/pep-0724.rst
@@ -5,14 +5,22 @@ Author: Rich Chiodo <rchiodo at microsoft.com>,
         Erik De Bonte <erikd at microsoft.com>,
 Sponsor: Jelle Zijlstra <jelle.zijlstra@gmail.com>
 Discussions-To: https://discuss.python.org/t/pep-724-stricter-type-guards/34124
-Status: Draft
+Status: Withdrawn
 Type: Standards Track
 Topic: Typing
 Content-Type: text/x-rst
 Created: 28-Jul-2023
 Python-Version: 3.13
 Post-History: `30-Dec-2021 <https://mail.python.org/archives/list/typing-sig@python.org/thread/EMUD2D424OI53DCWQ4H5L6SJD2IXBHUL/>`__,
               `19-Sep-2023 <https://discuss.python.org/t/pep-724-stricter-type-guards/34124>`__,
+              `07-Feb-2024 Withdrawn`
+
+Status
+======
+
+This PEP is withdrawn. The Typing Council was unable to reach consensus on
+this proposal, and the authors decided to withdraw it.
+
 
 Abstract
 ========