Shaygan Hooshyari d9aaacd01f [ty] Evaluate reachability of non-definitely-bound to Ambiguous (#19579) ... ## Summary closes https://github.com/astral-sh/ty/issues/692 If the expression (or any child expressions) is not definitely bound the reachability constraint evaluation is determined as ambiguous. This fixes the infinite cycles panic in the following code: ```py from typing import Literal class Toggle: def __init__(self: "Toggle"): if not self.x: self.x: Literal[True] = True ``` Credit of this solution is for David. ## Test Plan - Added a test case with too many cycle iterations panic. - Previous tests. --------- Co-authored-by: David Peter <mail@david-peter.de>		2025-08-28 14:34:49 +02:00
..
resources	[ty] Evaluate reachability of non-definitely-bound to Ambiguous (#19579)	2025-08-28 14:34:49 +02:00
src	[ty] Evaluate reachability of non-definitely-bound to Ambiguous (#19579)	2025-08-28 14:34:49 +02:00
tests	[ty] Track open files in the server (#19264)	2025-07-18 19:33:35 +05:30
build.rs
Cargo.toml	[ty] Avoid overcounting shared memory usage (#19773)	2025-08-06 15:32:02 -04:00
mdtest.py
mdtest.py.lock