5 Commits

Author	SHA1	Message	Date
Douglas Creager	0fb94c052e	[ty] Infer parameter specializations of generic aliases (#18021) ... This updates our function specialization inference to infer type mappings from parameters that are generic aliases, e.g.: ```py def f[T](x: list[T]) -> T: ... reveal_type(f(["a", "b"])) # revealed: str ``` Though note that we're still inferring the type of list literals as `list[Unknown]`, so for now we actually need something like the following in our tests: ```py def _(x: list[str]): reveal_type(f(x)) # revealed: str ```	2025-05-12 22:12:44 -04:00
Alex Waygood	55df9271ba	[ty] Understand homogeneous tuple annotations (#17998)	2025-05-12 22:02:25 -04:00
Alex Waygood	67cd94ed64	[ty] Add missing bitwise-operator branches for boolean and integer arithmetic (#17949)	2025-05-08 14:10:35 +01:00
Charlie Marsh	a2e9a7732a	Update class literal display to use <class 'Foo'> style (#17889) ... ## Summary Closes https://github.com/astral-sh/ruff/issues/17238.	2025-05-06 20:11:25 -04:00
Micha Reiser	b51c4f82ea	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00