7 Commits

Author	SHA1	Message	Date
Alex Waygood	e642874cf1	[ty] Check method definitions on subclasses for Liskov violations (#21436)	2025-11-23 18:08:15 +00:00
Alex Waygood	33b3d44ebd	[ty] Proper assignability/subtyping checks for protocols with method members (#20165)	2025-09-12 10:10:31 +00:00
Alex Waygood	0e3697a643	[ty] Minor fixes to `Protocol` tests (#20347)	2025-09-11 14:42:13 +00:00
Alex Waygood	c2380fa0e2	[ty] Extend tuple `__len__` and `__bool__` special casing to also cover tuple subclasses (#19289) ... Co-authored-by: Brent Westbrook	2025-07-21 12:50:46 +00:00
Alex Waygood	a50a993b9c	[ty] Make tuple instantiations sound (#18987) ... ## Summary Ensure that we correctly infer calls such as `tuple((1, 2))`, `tuple(range(42))`, etc. Ensure that we emit errors on invalid calls such as `tuple[int, str]()`. ## Test Plan Mdtests	2025-06-27 19:37:16 +01:00
Alex Waygood	03a4d56624	[ty] Change range of `revealed-type` diagnostic to be the range of the argument passed in, not the whole call (#17980)	2025-05-09 14:15:39 +01:00
Micha Reiser	b51c4f82ea	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00