## Summary Resolves #16895. `abstractmethod` is now a `KnownFunction`. When a function is decorated by `abstractmethod` or when the parent class inherits directly from `Protocol`, `invalid-return-type` won't be emitted for that function. ## Test Plan Markdown tests. --------- Co-authored-by: Carl Meyer <carl@oddbird.net>
Markdown files within the mdtest/ subdirectory are tests of type inference and type checking;
executed by the tests/mdtest.rs integration test.
See crates/red_knot_test/README.md for documentation of this test format.