[red-knot] Implement more types in binary and unary expressions #13803
carljm
merged
23 commits into
astral-sh:main
from
Glyphack:unary-op
Implement unary op for any and unknown
cd88837d
Handle division by zero for boolean rhs
c6120898
Handle booleans in binary expression
0fcf2865
Handle instances in unary operation
b0567307
Remove unknown test case
00df2f91
Add more tests without unnecessary variables
cad456f4
Check for Bool class in division by zero
3aa7b6c9
Convert booleans to integer literal in binary operations
de190b82
Separate handling unary not for instance types
729ddb7c
Merge branch 'main' into unary-op
097678b5
Update crates/red_knot_python_semantic/src/types/infer.rs
ce45e6ba
Update crates/red_knot_python_semantic/src/types/infer.rs
f4f425f0
Update crates/red_knot_python_semantic/src/types/infer.rs
21e249e0
Apply suggestions
05df52f4
Add tests for integer power op
24b8a430
Merge branch 'main' into unary-op
aca5e418
Correct return type
d962bce6
Update integers.md
f0b4eef5
Reformat markdown tests
d1b3abf9
Add debug assert for instance not op
35555c39
AlexWaygood
commented
on 2024-10-19
Use unreachable
f99644e4
AlexWaygood
commented
on 2024-10-19
Update crates/red_knot_python_semantic/src/types/infer.rs
6f8f74b1
Apply suggestions from code review
8292567c
Reviewers
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub