Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement PEP-742 #117516

Closed
JelleZijlstra opened this issue Apr 3, 2024 · 0 comments
Closed

Implement PEP-742 #117516

JelleZijlstra opened this issue Apr 3, 2024 · 0 comments
Labels
3.13 new features, bugs and security fixes topic-typing type-feature A feature request or enhancement

Comments

@JelleZijlstra
Copy link
Member

JelleZijlstra commented Apr 3, 2024 •
edited by bedevere-app bot

Feature or enhancement

Proposal:

PEP-742 was just accepted. Let's implement it.

Has this already been discussed elsewhere?

I have already discussed this feature proposal on Discourse

Links to previous discussion of this feature:

PEP-742

Linked PRs
@JelleZijlstra JelleZijlstra added type-feature A feature request or enhancement topic-typing 3.13 new features, bugs and security fixes labels Apr 3, 2024
JelleZijlstra added a commit to JelleZijlstra/cpython that referenced this issue Apr 3, 2024
@JelleZijlstra
pythongh-117516: Implement typing.TypeIs
3fa82de
@bedevere-app bedevere-app bot mentioned this issue Apr 3, 2024
Merged
JelleZijlstra added a commit that referenced this issue Apr 9, 2024
@JelleZijlstra @carljm @picnixz
gh-117516: Implement typing.TypeIs (#117517)
f2132fc 
See PEP 742.

Co-authored-by: Carl Meyer <carl@oddbird.net>
Co-authored-by: Bénédikt Tran <10796600+picnixz@users.noreply.github.com>
diegorusso pushed a commit to diegorusso/cpython that referenced this issue Apr 17, 2024
@JelleZijlstra @carljm
@picnixz @diegorusso
pythongh-117516: Implement typing.TypeIs (python#117517)
17322a2 
See PEP 742.

Co-authored-by: Carl Meyer <carl@oddbird.net>
Co-authored-by: Bénédikt Tran <10796600+picnixz@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
3.13 new features, bugs and security fixes topic-typing type-feature A feature request or enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@JelleZijlstra