David Peter 366ae1feaa [red-knot] Document 'public type of undeclared symbols' behavior (#16096) ...

## Summary

After I was asked twice within the same day, I thought it would be a
good idea to write some *user facing* documentation that explains our
reasoning behind inferring `Unknown | T_inferred` for public uses of
undeclared symbols. This is a major deviation from the behavior of other
type checkers and it seems like a good practice to defend our choice
like this.

2025-02-12 08:52:11 +01:00

..

resources

[red-knot] Document 'public type of undeclared symbols' behavior (#16096)

2025-02-12 08:52:11 +01:00

src

add diagnostic Span (couples File and TextRange) (#16101)

2025-02-11 14:55:12 -05:00

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

Transition to salsa coarse-grained tracked structs (#15763)

2025-02-11 11:38:50 +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