David Peter 5c3c0c4705 [red-knot] Inference for comparison of union types (#13781) ...

## Summary

Add type inference for comparisons involving union types. For example:
```py
one_or_two = 1 if flag else 2

reveal_type(one_or_two <= 2)  # revealed: Literal[True]
reveal_type(one_or_two <= 1)  # revealed: bool
reveal_type(one_or_two <= 0)  # revealed: Literal[False]
```

closes #13779

## Test Plan

See `resources/mdtest/comparison/unions.md`

2024-10-17 11:03:37 +02:00

..

resources

[red-knot] Inference for comparison of union types (#13781)

2024-10-17 11:03:37 +02:00

src

[red-knot] Inference for comparison of union types (#13781)

2024-10-17 11:03:37 +02:00

tests

[red-knot] document test framework (#13695)

2024-10-10 12:02:01 -07:00

build.rs

[red-knot] Add a build.rs file to red_knot_python_semantic, and document pitfalls of using rstest in combination with mdtest (#13747)

2024-10-14 13:02:03 +01:00

Cargo.toml

[red knot] Use memmem::find instead of custom version (#13750)

2024-10-14 15:17:19 +02:00