ruff
[red-knot] Type narrow in else clause
#13918
Merged
Overview
Commits
18
Changes
View On GitHub

[red-knot] Type narrow in else clause #13918

carljm merged 18 commits into astral-sh:main from TomerBin:tomer/type-narrow-in-else-clause
TomerBin
github-actions
TomerBin TomerBin force pushed from 4c8cd0e4 to ec9a7547 325 days ago
TomerBin TomerBin force pushed from ec9a7547 to 2d156bc1 325 days ago
TomerBin
TomerBin commented on 2024-10-24
TomerBin
TomerBin commented on 2024-10-24
TomerBin TomerBin marked this pull request as ready for review 325 days ago
TomerBin TomerBin requested a review from carljm carljm 325 days ago
TomerBin TomerBin requested a review from MichaReiser MichaReiser 325 days ago
TomerBin TomerBin requested a review from AlexWaygood AlexWaygood 325 days ago
carljm
carljm commented on 2024-10-24
carljm carljm requested a review from sharkdp sharkdp 325 days ago
carljm carljm added ty
sharkdp
sharkdp commented on 2024-10-25
sharkdp
sharkdp commented on 2024-10-25
carljm
TomerBin
carljm
TomerBin
AlexWaygood
AlexWaygood commented on 2024-10-26
TomerBin Initial negative type narrowing for else and elif
02c1b148
TomerBin support isinstance negation
ad3aabd6
TomerBin rename
c979f5e2
TomerBin support noteq for unions
03e9a061
TomerBin thanks clippy
0750ce6a
TomerBin fmt revert
dda35198
TomerBin comment fixes
4dfa4612
TomerBin dont use multiple arguments in salsa tracked functions
49b24650
TomerBin rename constraint to predicate
81ec4450
TomerBin simplify cmp narrowing by moving negation logic to be CmpOp's method
10690ba6
TomerBin extend isnot tests with 'else' branch
683932e9
TomerBin clippy
8cdb70f7
TomerBin CR notes
a4eb014e
TomerBin Don't narrow by '=='
d381a90b
TomerBin stop using undefined flag and declare int_instance body
48933810
TomerBin TomerBin force pushed from c44ff62e to e6f2bd40 323 days ago
TomerBin Preicate.negative -> Predicate.is_positive
909e9074
TomerBin TomerBin force pushed from e6f2bd40 to 909e9074 323 days ago
carljm
carljm approved these changes on 2024-10-26
carljm Apply suggestions from code review
1c21d0c6
carljm
carljm revert Predicate name change
981387e5
TomerBin
carljm carljm enabled auto-merge (squash) 323 days ago
carljm carljm merged 35f007f1 into main 323 days ago
TomerBin TomerBin deleted the tomer/type-narrow-in-else-clause branch 323 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum