Dhruv Manilawala 6de2b2873b [red-knot] Check if callable type is fully static (#16633) ...

## Summary

Part of #15382 

This PR adds the check for whether a callable type is fully static or
not.

A callable type is fully static if all of the parameter types are fully
static _and_ the return type is fully static _and_ if it does not use
the gradual form (`...`) for its parameters.

## Test Plan

Update `is_fully_static.md` with callable types.

It seems that currently this test is grouped into either fully static or
not, I think it would be useful to split them up in groups like
callable, etc. I intentionally avoided that in this PR but I'll put up a
PR for an appropriate split.

Note: I've an explicit goal of updating the property tests with the new
callable types once all relations are implemented.

2025-03-12 12:13:22 +05:30

..

resources

[red-knot] Check if callable type is fully static (#16633)

2025-03-12 12:13:22 +05:30

src

[red-knot] Check if callable type is fully static (#16633)

2025-03-12 12:13:22 +05:30

tests

red_knot_test: add support for diagnostic snapshotting

2025-02-05 13:02:54 -05: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

[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