4 Commits

Author	SHA1	Message	Date
Shunsuke Shibayama	b5305b5f32	[ty] Fix panic due to simplifying `Divergent` types out of intersections types (#21253)	2025-11-03 15:41:11 +00:00
David Peter	73107a083c	[ty] Type inference for comprehensions (#20962) ... ## Summary Adds type inference for list/dict/set comprehensions, including bidirectional inference: ```py reveal_type({k: v for k, v in [("a", 1), ("b", 2)]}) # dict[Unknown | str, Unknown | int] squares: list[int | None] = [x for x in range(10)] reveal_type(squares) # list[int | None] ``` ## Ecosystem impact I did spot check the changes and most of them seem like known limitations or true positives. Without proper bidirectional inference, we saw a lot of false positives. ## Test Plan New Markdown tests	2025-11-02 14:35:33 +01:00
Micha Reiser	adbf05802a	[ty] Fix rare panic with highly cyclic `TypeVar` definitions (#21059)	2025-10-24 18:30:54 +02:00
Micha Reiser	b51c4f82ea	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00