David Peter f2c3ddc5ea [red-knot] Move intersection type tests to Markdown (#15396) ... ## Summary [**Rendered version of the new test suite**](https://github.com/astral-sh/ruff/blob/david/intersection-type-tests/crates/red_knot_python_semantic/resources/mdtest/intersection_types.md) Moves most of our existing intersection-types tests to a dedicated Markdown test suite, extends the test coverage, unifies the notation for these tests, groups tests into a proper structure, and adds some explanations for various simplification strategies. This changeset also: - Adds a new simplification where `~Never` is removed from intersections. - Adds a new simplification where adding `~object` simplifies the whole intersection to `Never` - Avoids unnecessary assignment-checks between inferred and declared type. This was added to this changeset to avoid many false positive errors in this test suite. Resolves the task described in this old comment [here](e01da82a5a..e7e432bca2 (r1819924085)). ## Test Plan Running the new Markdown tests --------- Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>		2025-01-10 14:04:03 +01:00
..
resources	[red-knot] Move intersection type tests to Markdown (#15396)	2025-01-10 14:04:03 +01:00
src	[red-knot] Move intersection type tests to Markdown (#15396)	2025-01-10 14:04:03 +01:00
tests	mdtest: include test name in printed rerun command (#14684)	2024-11-30 11:01:06 +00:00
build.rs	Modernize build scripts (#13837)	2024-10-20 22:35:35 +01:00
Cargo.toml	type: ignore[codes] and knot: ignore (#15078)	2024-12-23 10:52:43 +01:00