Dhruv Manilawala 0251679f87 [red-knot] Add new property tests for subtyping with "bottom" callable (#17635) ... ## Summary I remember we discussed about adding this as a property tests so here I am. ## Test Plan ```console ❯ QUICKCHECK_TESTS=10000000 cargo test --locked --release --package red_knot_python_semantic -- --ignored types::property_tests::stable::bottom_callable_is_subtype_of_all_fully_static_callable Finished `release` profile [optimized] target(s) in 0.10s Running unittests src/lib.rs (target/release/deps/red_knot_python_semantic-e41596ca2dbd0e98) running 1 test test types::property_tests::stable::bottom_callable_is_subtype_of_all_fully_static_callable ... ok test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 233 filtered out; finished in 30.91s ```		2025-04-26 03:58:13 +05:30
..
resources	[red-knot] Create generic context for generic classes lazily (#17617)	2025-04-25 14:10:03 -04:00
src	[red-knot] Add new property tests for subtyping with "bottom" callable (#17635)	2025-04-26 03:58:13 +05:30
tests	[red-knot] Add GitHub PR annotations when mdtests fail in CI (#17150)	2025-04-02 21:51:52 +01:00
build.rs	Modernize build scripts (#13837)	2024-10-20 22:35:35 +01:00
Cargo.toml	[red-knot] Add a test to ensure that KnownClass::try_from_file_and_name() is kept up to date (#16326)	2025-02-24 12:14:20 +00:00
mdtest.py	mdtest.py: do a full mdtest run immediately when the script is executed (#17128)	2025-04-01 19:27:55 +01:00
mdtest.py.lock	[red-knot] Markdown test runner (#15632)	2025-01-21 14:06:35 +01:00