12 commits

Author	SHA1	Message	Date
Alex Waygood	0a11baf29c	[ty] Implement implicit inheritance from Generic[] for PEP-695 generic classes (#18283)	2025-05-26 20:40:16 +01:00
Alex Waygood	d02c9ada5d	[ty] Do not carry the generic context of Protocol or Generic in the ClassBase enum (#17989) ... ## Summary It doesn't seem to be necessary for our generics implementation to carry the `GenericContext` in the `ClassBase` variants. Removing it simplifies the code, fixes many TODOs about `Generic` or `Protocol` appearing multiple times in MROs when each should only appear at most once, and allows us to more accurately detect runtime errors that occur due to `Generic` or `Protocol` appearing multiple times in a class's bases. In order to remove the `GenericContext` from the `ClassBase` variant, it turns out to be necessary to emulate `typing._GenericAlias.__mro_entries__`, or we end up with a large number of false-positive `inconsistent-mro` errors. This PR therefore also does that. Lastly, this PR fixes the inferred MROs of PEP-695 generic classes, which implicitly inherit from `Generic` even if they have no explicit bases. ## Test Plan mdtests	2025-05-22 21:37:03 -04:00
Alex Waygood	cb04343b3b	[ty] Split invalid-base error code into two error codes (#18245)	2025-05-21 18:02:39 -04:00
David Peter	6e39250015	[ty] Allow unions including Any/Unknown as bases (#18094) ... ## Summary Alternative fix for https://github.com/astral-sh/ty/issues/312 ## Test Plan New Markdown test	2025-05-16 06:57:26 +02:00
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

Renamed from crates/red_knot_python_semantic/resources/mdtest/mro.md (Browse further)