David Peter 15394a8028 [red-knot] MDTests: Do not depend on precise public-symbol type inference (#15691) ... ## Summary Another small PR to focus #15674 solely on the relevant changes. This makes our Markdown tests less dependent on precise types of public symbols, without actually changing anything semantically in these tests. Best reviewed using ignore-whitespace-mode. ## Test Plan Tested these changes on `main` and on the branch from #15674.		2025-01-23 13:51:33 +00:00
..
resources	[red-knot] MDTests: Do not depend on precise public-symbol type inference (#15691)	2025-01-23 13:51:33 +00:00
src	[red-knot] Make `infer.rs` unit tests independent of public symbol inference (#15690)	2025-01-23 14:30:18 +01:00
tests	mdtest: include test name in printed rerun command (#14684)	2024-11-30 11:01:06 +00:00
Cargo.toml	`type: ignore[codes]` and `knot: ignore` (#15078)	2024-12-23 10:52:43 +01:00
build.rs	Modernize build scripts (#13837)	2024-10-20 22:35:35 +01:00
mdtest.py	[red-knot] Fix possible TOCTOU mistake in mdtest runner (#15673)	2025-01-22 15:24:25 +00:00
mdtest.py.lock	[red-knot] Markdown test runner (#15632)	2025-01-21 14:06:35 +01:00