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