David Peter 4f3209a3ec [red-knot] More comprehensive 'is_subtype_of' tests (#15490) ... ## Summary Make the `is_subtype_of` tests a bit easier to understand and more comprehensive.		2025-01-15 18:33:29 +00:00
..
resources	[red-knot] More comprehensive 'is_subtype_of' tests (#15490)	2025-01-15 18:33:29 +00:00
src	[red-knot] Negation reverses subtyping order (#15503)	2025-01-15 16:32:21 +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