ruff/crates/red_knot_python_semantic/resources at a43b683d0838e64bb0d30d776f7cb98808e4f694 - mirrors/ruff

mirror of https://github.com/astral-sh/ruff.git synced 2025-08-10 05:38:15 +00:00

History

Dhruv Manilawala d29d4956de [red-knot] Fix callable subtyping for standard parameters (#17125 ) ## Summary This PR fixes a bug in callable subtyping to consider both the positional and keyword form of the standard parameter in the supertype when matching against variadic, keyword-only and keyword-variadic parameter in the subtype. This is done by collecting the unmatched standard parameters and then checking them against the keyword-only / keyword-variadic parameters after the positional loop. ## Test Plan Add test cases.	2025-04-01 23:37:35 +05:30
..
mdtest	[red-knot] Fix callable subtyping for standard parameters (#17125 )	2025-04-01 23:37:35 +05:30
README.md	[red-knot] document test framework (#13695 )	2024-10-10 12:02:01 -07:00

Dhruv Manilawala d29d4956de

[red-knot] Fix callable subtyping for standard parameters (#17125 )

## Summary

This PR fixes a bug in callable subtyping to consider both the
positional and keyword form of the standard parameter in the supertype
when matching against variadic, keyword-only and keyword-variadic
parameter in the subtype.

This is done by collecting the unmatched standard parameters and then
checking them against the keyword-only / keyword-variadic parameters
after the positional loop.

## Test Plan

Add test cases.

2025-04-01 23:37:35 +05:30

mdtest

[red-knot] Fix callable subtyping for standard parameters (#17125 )

2025-04-01 23:37:35 +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.