iSharkFly-Open
/
python-peps
mirror of https://github.com/python/peps.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

PEP 742: Mark as Final (#3937)

This commit is contained in:
Hugo van Kemenade 2024-09-03 18:34:38 +03:00 committed by GitHub
parent 77c09421e5
commit 752fb666bd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
peps/pep-0742.rst
View File

@ -2,7 +2,7 @@ PEP: 742
Title: Narrowing types with TypeIs Title: Narrowing types with TypeIs
Author: Jelle Zijlstra <jelle.zijlstra@gmail.com> Author: Jelle Zijlstra <jelle.zijlstra@gmail.com>
Discussions-To: https://discuss.python.org/t/pep-742-narrowing-types-with-typenarrower/45613 Discussions-To: https://discuss.python.org/t/pep-742-narrowing-types-with-typenarrower/45613
Status: Accepted Status: Final
Type: Standards Track Type: Standards Track
Topic: Typing Topic: Typing
Created: 07-Feb-2024 Created: 07-Feb-2024
@ -11,6 +11,8 @@ Post-History: `11-Feb-2024 <https://discuss.python.org/t/pep-742-narrowing-types
Replaces: 724 Replaces: 724
Resolution: https://discuss.python.org/t/pep-742-narrowing-types-with-typeis/45613/35 Resolution: https://discuss.python.org/t/pep-742-narrowing-types-with-typeis/45613/35
.. canonical-typing-spec:: :ref:`typing:typeis` and
:external+py3.13:data:`typing.TypeIs`
Abstract Abstract
======== ========