Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
ruff/crates/red_knot_python_semantic/resources
History
Dhruv Manilawala f11d9cb509
[red-knot] Support overloads for callable equivalence (#17698) 
## Summary

Part of #15383, this PR adds `is_equivalent_to` support for overloaded
callables.

This is mainly done by delegating it to the subtyping check in that two
types A and B are considered equivalent if A is a subtype of B and B is
a subtype of A.

## Test Plan

Add test cases for overloaded callables in `is_equivalent_to.md`
 		2025-04-30 02:53:59 +05:30
..
mdtest [red-knot] Support overloads for callable equivalence (#17698) 2025-04-30 02:53:59 +05:30
primer [red-knot] Special case `@final`, `@override` (#17608) 2025-04-25 03:15:23 +05:30
README.md [red-knot] document test framework (#13695) 2024-10-10 12:02:01 -07:00

README.md

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.