David Peter 1a3b73720c [red-knot] Silence errors in unreachable type annotations / class bases (#17342) ...

## Summary

For silencing `invalid-type-form` diagnostics in unreachable code, we
use the same approach that we use before and check the reachability that
we already record.

For silencing `invalid-bases`, we simply check if the type of the base
is `Never`. If so, we silence the diagnostic with the argument that the
class construction would never happen.

## Test Plan

Updated Markdown tests.

2025-04-10 22:47:47 +02:00

..

resources

[red-knot] Silence errors in unreachable type annotations / class bases (#17342)

2025-04-10 22:47:47 +02:00

src

[red-knot] Silence errors in unreachable type annotations / class bases (#17342)

2025-04-10 22:47:47 +02:00

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