Implement TypeIs (PEP 742) #16898
JelleZijlstra
merged
30 commits into
python:master
from
JelleZijlstra:typenarrower
Basic work on TypeNarrower
8a300730
Initial tests (many failing)
58e84030
Fewer test failures
c8d2af89
Fix the remaining tests
f2059103
Did not actually need TypeNarrowerType
75c9dec0
Error for bad narrowing
4666486e
temp change typeshed
25a9c790
Fixes
faa4a076
Merge branch 'master' into typenarrower
c0e02103
![pre-commit-ci[bot]](https://avatars.githubusercontent.com/in/68672?v=4&s=60)
[pre-commit.ci] auto fixes from pre-commit.com hooks
f107e5b0
doc
34700bb9
fix self check
065ec92e
like this maybe
aef30363
Merge remote-tracking branch 'upstream/master' into typenarrower
4b19c77a
Fix and add tests
6b0e7496
[pre-commit.ci] auto fixes from pre-commit.com hooks
c9e53e65
Use TypeIs
909e53c4
[pre-commit.ci] auto fixes from pre-commit.com hooks
eb883717
JelleZijlstra
commented
on 2024-02-14
Apply suggestions from code review
1b1e368d
JelleZijlstra
changed the title
Code review feedback, new test case, fix incorrect constraints
84c69d26
[pre-commit.ci] auto fixes from pre-commit.com hooks
ae294bf0
cdce8p
approved these changes
on 2024-02-23
Merge remote-tracking branch 'upstream/master' into typenarrower
7fedbcfc
Rename error code
dbc229db
Quote name
8b2fb0b9
unxfail
816fd1a9
add elif test
d6fcc359
type context test
ef825ce0
Add test
d32956db
Add error code test case
a36a16a2
update docs
b32ba80e
hauntsaninja
commented
on 2024-03-01
sobolevn
approved these changes
on 2024-03-01
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub