We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3f95299 commit f8f3ec0Copy full SHA for f8f3ec0
peps/pep-0742.rst
@@ -2,13 +2,14 @@ PEP: 742
2
Title: Narrowing types with TypeIs
3
Author: Jelle Zijlstra <[email protected]>
4
Discussions-To: https://discuss.python.org/t/pep-742-narrowing-types-with-typenarrower/45613
5
-Status: Draft
+Status: Accepted
6
Type: Standards Track
7
Topic: Typing
8
Created: 07-Feb-2024
9
Python-Version: 3.13
10
Post-History: `11-Feb-2024 <https://discuss.python.org/t/pep-742-narrowing-types-with-typenarrower/45613>`__
11
Replaces: 724
12
+Resolution: https://discuss.python.org/t/pep-742-narrowing-types-with-typeis/45613/35
13
14
15
Abstract
0 commit comments