8 Commits

Author	SHA1	Message	Date
Alex Waygood	7e9b0df18a	[ty] Allow classes to inherit from `type[Any]` or `type[Unknown]` (#18060)	2025-05-12 20:30:21 -04:00
Alex Waygood	41fa082414	[ty] Allow a class to inherit from an intersection if the intersection contains a dynamic type and the intersection is not disjoint from `type` (#18055)	2025-05-12 23:07:11 +00:00
Carl Meyer	3d2485eb1b	[ty] fix more ecosystem/fuzzer panics with fixpoint (#17758) ... ## Summary Add cycle handling for `try_metaclass` and `pep695_generic_context` queries, as well as adjusting the cycle handling for `try_mro` to ensure that it short-circuits on cycles and won't grow MROs indefinitely. This reduces the number of failing fuzzer seeds from 68 to 17. The latter count includes fuzzer seeds 120, 160, and 335, all of which previously panicked but now either hang or are very slow; I've temporarily skipped those seeds in the fuzzer until I can dig into that slowness further. This also allows us to move some more ecosystem projects from `bad.txt` to `good.txt`, which I've done in https://github.com/astral-sh/ruff/pull/17903 ## Test Plan Added mdtests.	2025-05-08 20:36:20 -07:00
Alex Waygood	4d81a41107	[ty] Respect the gradual guarantee when reporting errors in resolving MROs (#17962)	2025-05-08 22:57:39 +01:00
Alex Waygood	2ec0d7e072	[ty] Improve UX for `[duplicate-base]` diagnostics (#17914)	2025-05-07 15:27:37 +00: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
Alex Waygood	2f9992b6ef	[ty] Fix duplicate diagnostics for unresolved module when an `import from` statement imports multiple members (#17886)	2025-05-06 12:37:10 +01:00
Micha Reiser	b51c4f82ea	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00