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 Accepted (#3747)

This commit is contained in:
Jelle Zijlstra 2024-04-03 14:06:43 -04:00 committed by GitHub
parent 3f95299711
commit f8f3ec0be2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
peps/pep-0742.rst
View File

@ -2,13 +2,14 @@ PEP: 742
Title: Narrowing types with TypeIs
Author: Jelle Zijlstra <jelle.zijlstra@gmail.com>
Discussions-To: https://discuss.python.org/t/pep-742-narrowing-types-with-typenarrower/45613
Status: Draft
Status: Accepted
Type: Standards Track
Topic: Typing
Created: 07-Feb-2024
Python-Version: 3.13
Post-History: `11-Feb-2024 <https://discuss.python.org/t/pep-742-narrowing-types-with-typenarrower/45613>`__
Replaces: 724
Resolution: https://discuss.python.org/t/pep-742-narrowing-types-with-typeis/45613/35
Abstract