ruff
[red-knot] Check subtype relation between callable types
#16804
Merged
Overview
Commits
10
Changes
View On GitHub

[red-knot] Check subtype relation between callable types #16804

dhruvmanila merged 10 commits into main from dhruv/callable-subtype
dhruvmanila
dhruvmanila dhruvmanila added ty
dhruvmanila dhruvmanila changed the title [WIP] [red-knot] Fix fully static check for callable type [WIP] [red-knot] Check subtype relation between callable types 1 year ago
dhruvmanila dhruvmanila force pushed from 8e60a847 to eb8f3ca2 1 year ago
github-actions
Base automatically changed from dhruv/callable-static-fix to main 1 year ago
dhruvmanila dhruvmanila force pushed from eb8f3ca2 to f9ee1558 1 year ago
carljm
carljm commented on 2025-03-18
github-actions
dhruvmanila
dhruvmanila dhruvmanila force pushed from 12dc9eb7 to 98da2212 1 year ago
dhruvmanila dhruvmanila changed the title [WIP] [red-knot] Check subtype relation between callable types [red-knot] Check subtype relation between callable types 1 year ago
dhruvmanila dhruvmanila force pushed from 98da2212 to 79a4afcf 1 year ago
dhruvmanila dhruvmanila changed the base branch from main to dhruv/callable-is-equivalent 1 year ago
dhruvmanila dhruvmanila marked this pull request as ready for review 1 year ago
dhruvmanila dhruvmanila requested a review from AlexWaygood AlexWaygood 1 year ago
dhruvmanila dhruvmanila requested a review from sharkdp sharkdp 1 year ago
dhruvmanila dhruvmanila requested a review from dcreager dcreager 1 year ago
dhruvmanila
dhruvmanila commented on 2025-03-19
carljm
carljm approved these changes on 2025-03-19
dhruvmanila dhruvmanila force pushed from 12ff6b92 to a519c2e0 1 year ago
carljm
carljm approved these changes on 2025-03-20
carljm
carljm commented on 2025-03-20
Base automatically changed from dhruv/callable-is-equivalent to main 1 year ago
dhruvmanila [red-knot] WIP
0f1e60d8
dhruvmanila Handle keyword-only and keyword-variadic parameters
a8692d83
dhruvmanila Add tests for keyword-only, keyword-variadic
c2ce05a8
dhruvmanila Update on latest main
3095412c
dhruvmanila Cleanup
20676856
dhruvmanila Fix unmatched variadic param, more tests
e9f660fc
dhruvmanila Avoid duplicate `kind`
bacde262
dhruvmanila Use nested `Option` for keyword-variadic
ef665aa4
dhruvmanila Address review comments
b78fcc4e
dhruvmanila Expand callable subtype todo
3b1e030f
dhruvmanila dhruvmanila force pushed from a519c2e0 to 3b1e030f 1 year ago
dhruvmanila dhruvmanila enabled auto-merge (squash) 1 year ago
dhruvmanila dhruvmanila merged 04a87563 into main 1 year ago
dhruvmanila dhruvmanila deleted the dhruv/callable-subtype branch 1 year ago
sharkdp
dhruvmanila
AlexWaygood
carljm
dhruvmanila

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum