5 Commits

Author	SHA1	Message	Date
Ibraheem Ahmed	bea92c8229	[ty] More precise type inference for dictionary literals (#20523) ... ## Summary Extends https://github.com/astral-sh/ruff/pull/20360 to dictionary literals. This also improves our `TypeDict` support by passing through nested type context.	2025-09-24 18:12:00 -04:00
Ibraheem Ahmed	e84d523bcf	[ty] Infer more precise types for collection literals (#20360) ... ## Summary Part of https://github.com/astral-sh/ty/issues/168. Infer more precise types for collection literals (currently, only `list` and `set`). For example, ```py x = [1, 2, 3] # revealed: list[Unknown | int] y: list[int] = [1, 2, 3] # revealed: list[int] ``` This could easily be extended to `dict` literals, but I am intentionally limiting scope for now.	2025-09-17 18:51:50 -04:00
Alex Waygood	7d0c8e045c	[ty] Infer slightly more precise types for comprehensions (#20111)	2025-08-27 13:21:47 +01:00
Alex Waygood	d1bb10a66b	[ty] Understand classes that inherit from subscripted `Protocol[]` as generic (#17832)	2025-05-09 17:39:15 +01:00
Micha Reiser	b51c4f82ea	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00