5 Commits

Author	SHA1	Message	Date
Alex Waygood	cd183c5e1f	[ty] Use the return type of __get__ for descriptor lookups even when __get__ is called with incorrect arguments (#21424)	2025-11-13 12:05:10 +00:00
David Peter	ab46c8de0f	[ty] Add support for properties that return Self (#21335) ... ## Summary Detect usages of implicit `self` in property getters, which allows us to treat their signature as being generic. closes https://github.com/astral-sh/ty/issues/1502 ## Typing conformance Two new type assertions that are succeeding. ## Ecosystem results Mostly look good. There are a few new false positives related to a bug with constrained typevars that is unrelated to the work here. I reported this as https://github.com/astral-sh/ty/issues/1503. ## Test Plan Added regression tests.	2025-11-10 11:13:36 +01:00
Alex Waygood	b85c995927	[ty] "foo".startswith is not an instance of types.MethodWrapperType (#20317)	2025-09-10 11:14:26 +00:00
Andrew Gallant	346e82b572	ty_python_semantic: add union type context to function call type errors ... This context gets added only when calling a function through a union type.	2025-05-09 13:40:51 -04:00
Micha Reiser	b51c4f82ea	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00