6 Commits

Author	SHA1	Message	Date
David Peter	97d7b46936	[ty] Do not look up `__init__` on instances (#18092) ... ## Summary Dunder methods are never looked up on instances. We do this implicitly in `try_call_dunder`, but the corresponding flag was missing in the instance-construction code where we use `member_lookup_with_policy` directly. fixes https://github.com/astral-sh/ty/issues/322 ## Test Plan Added regression test.	2025-05-14 15:33:42 +02:00
Alex Waygood	55df9271ba	[ty] Understand homogeneous tuple annotations (#17998)	2025-05-12 22:02:25 -04:00
Alex Waygood	d1bb10a66b	[ty] Understand classes that inherit from subscripted `Protocol[]` as generic (#17832)	2025-05-09 17:39:15 +01:00
Douglas Creager	b705664d49	[ty] Handle typevars that have other typevars as a default (#17956) ... It's possible for a typevar to list another typevar as its default value: ```py class C[T, U = T]: ... ``` When specializing this class, if a type isn't provided for `U`, we would previously use the default as-is, leaving an unspecialized `T` typevar in the specialization. Instead, we want to use what `T` is mapped to as the type of `U`. ```py reveal_type(C()) # revealed: C[Unknown, Unknown] reveal_type(C[int]()) # revealed: C[int, int] reveal_type(C[int, str]()) # revealed: C[int, str] ``` This is especially important for the `slice` built-in type.	2025-05-08 19:01:27 -04: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