Skip to content

Support narrowing literals and enums using the in operator in combination with list, set, and tuple expressions. #17044

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

Open
tyralla wants to merge 21 commits into
base: master
Choose a base branch
from
Open

Support narrowing literals and enums using the in operator in combination with list, set, and tuple expressions. #17044

Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
e83679f
Support narrowing literals and enums using the in operator in combina…
tyralla Mar 17, 2024
a0d1db3
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Mar 17, 2024
2bff3c2
fix
tyralla Mar 17, 2024
5e8a525
Merge branch 'feature/narrow_using_in' of https://github.com/tyralla/…
tyralla Mar 17, 2024
2fa954a
Optional[Expression] -> Expression | None
tyralla Mar 17, 2024
db7b969
Add __eq__ to object in tuple.pyi
tyralla Mar 17, 2024
23bfd4e
simplification: avoid returning None
tyralla Mar 18, 2024
207c56e
replace the critical `in` comparisons for testing
tyralla Mar 19, 2024
dea2614
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Mar 19, 2024
214f51a
Revert "[pre-commit.ci] auto fixes from pre-commit.com hooks"
tyralla Mar 19, 2024
a495fee
Revert "replace the critical `in` comparisons for testing"
tyralla Mar 19, 2024
8785fe9
fix mypyc crash
tyralla Mar 21, 2024
6af40ae
make NameExpr mypyc copyable
tyralla Mar 21, 2024
e52eb25
ignore star expressions
tyralla Mar 21, 2024
763c265
update docs
tyralla Mar 21, 2024
44d71eb
Also support list expressions.
tyralla Oct 26, 2024
bd145d1
Merge branch 'master' into feature/narrow_using_in
tyralla Oct 26, 2024
a04126d
Also support set expressions.
tyralla Oct 27, 2024
3e5bdf9
Merge branch 'master' into feature/narrow_using_in
tyralla May 23, 2025
78dbff2
Adjust the `testNarrowingOptionalEqualsNone` test case.
tyralla May 23, 2025
e445651
update comment
tyralla May 23, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Adjust the testNarrowingOptionalEqualsNone test case. 
A recent change that I just merged seems to interact positively with this PR: increase in consistency when narrowing away `None`.
  • Loading branch information
@tyralla
tyralla committed May 23, 2025
commit 78dbff220e6a2b154110fc882a8abe4f57bf96fb
4 changes: 2 additions & 2 deletions test-data/unit/check-narrowing.test
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1375,9 +1375,9 @@ else:
if val in (None,):
reveal_type(val) # N: Revealed type is "Union[__main__.A, None]"
else:
reveal_type(val) # N: Revealed type is "Union[__main__.A, None]"
reveal_type(val) # N: Revealed type is "__main__.A"
if val not in (None,):
reveal_type(val) # N: Revealed type is "Union[__main__.A, None]"
reveal_type(val) # N: Revealed type is "__main__.A"
else:
reveal_type(val) # N: Revealed type is "Union[__main__.A, None]"
[builtins fixtures/primitives.pyi]
Expand Down
Loading