Dhruv Manilawala 7825975972 [red-knot] Check overloads without an implementation (#17681) ...

## Summary

As mentioned in the spec
(https://typing.python.org/en/latest/spec/overload.html#invalid-overload-definitions),
part of #15383:

> The `@overload`-decorated definitions must be followed by an overload
implementation, which does not include an `@overload` decorator. Type
checkers should report an error or warning if an implementation is
missing. Overload definitions within stub files, protocols, and on
abstract methods within abstract base classes are exempt from this
check.

## Test Plan

Remove TODOs from the test; create one diagnostic snapshot.

2025-04-30 19:54:21 +05:30

..

resources

[red-knot] Check overloads without an implementation (#17681)

2025-04-30 19:54:21 +05:30

src

[red-knot] Check overloads without an implementation (#17681)

2025-04-30 19:54:21 +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

[red-knot] mdtest.py: Watch for changes in red_knot_vendored and red_knot_test as well as in red_knot_python_semantic (#17718)

2025-04-29 18:27:49 +00:00

mdtest.py.lock

[red-knot] Markdown test runner (#15632)

2025-01-21 14:06:35 +01:00