ruff
[red-knot] Add `FunctionType::to_overloaded`
#17585
Merged

[red-knot] Add `FunctionType::to_overloaded` #17585

dhruvmanila merged 3 commits into main from dhruv/overloaded-function
dhruvmanila
dhruvmanila dhruvmanila added internal
dhruvmanila dhruvmanila added ty
github-actions
dhruvmanila dhruvmanila marked this pull request as ready for review 147 days ago
dhruvmanila dhruvmanila requested a review from carljm carljm 147 days ago
dhruvmanila dhruvmanila requested a review from AlexWaygood AlexWaygood 147 days ago
dhruvmanila dhruvmanila requested a review from sharkdp sharkdp 147 days ago
dhruvmanila dhruvmanila requested a review from dcreager dcreager 147 days ago
dhruvmanila dhruvmanila force pushed from da7e00b6 to dfdcef0d 147 days ago
MichaReiser
MichaReiser commented on 2025-04-23
carljm
carljm approved these changes on 2025-04-23
MichaReiser
MichaReiser commented on 2025-04-23
MichaReiser
MichaReiser commented on 2025-04-23
dhruvmanila [red-knot] Add `FunctionType::to_overloaded`
e00d148f
dhruvmanila merge the impl blocks
53d594dc
dhruvmanila dhruvmanila force pushed from 2fafb6b2 to 53d594dc 147 days ago
dhruvmanila Add note to `to_overloaded`
734a708f
dhruvmanila
dhruvmanila dhruvmanila merged 7b622270 into main 147 days ago
dhruvmanila dhruvmanila deleted the dhruv/overloaded-function branch 147 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone