David Peter db3dcd8ad6 [ty] Eagerly simplify 'True' and 'False' constraints (#18998) ... ## Summary Simplifies literal `True` and `False` conditions to `ALWAYS_TRUE` / `ALWAYS_FALSE` during semantic index building. This allows us to eagerly evaluate more constraints, which should help with performance (looks like there is a tiny 1% improvement in instrumented benchmarks), but also allows us to eliminate definitely-unreachable branches in control-flow merging. This can lead to better type inference in some cases because it allows us to retain narrowing constraints without solving https://github.com/astral-sh/ty/issues/690 first: ```py def _(c: int | None): if c is None: assert False reveal_type(c) # int, previously: int | None ``` closes https://github.com/astral-sh/ty/issues/713 ## Test Plan * Regression test for https://github.com/astral-sh/ty/issues/713 * Made sure that all ecosystem diffs trace back to removed false positives		2025-06-30 13:11:52 +02:00
..
resources	[ty] Eagerly simplify 'True' and 'False' constraints (#18998)	2025-06-30 13:11:52 +02:00
src	[ty] Eagerly simplify 'True' and 'False' constraints (#18998)	2025-06-30 13:11:52 +02:00
tests	Update Rust toolchain to 1.88 and MSRV to 1.86 (#19011)	2025-06-28 20:24:00 +02:00
build.rs
Cargo.toml	[ty] Add environment variable to dump Salsa memory usage stats (#18928)	2025-06-26 21:27:51 +00:00
mdtest.py
mdtest.py.lock