ruff
[ty] Filter overloads based on `Any` / `Unknown`
#18607

Merged

[ty] Filter overloads based on `Any` / `Unknown` #18607

dhruvmanila merged 8 commits into main from dhruv/overload-step-5

dhruvmanila added ty

dhruvmanila force pushed from e2b0c195 to 7693df90 104 days ago

dhruvmanila force pushed from 7693df90 to e77e0994 103 days ago

Base automatically changed from dhruv/top-materialization to main 102 days ago

dhruvmanila force pushed from e77e0994 to ba646977 101 days ago

dhruvmanila force pushed from ba646977 to c5e01dc1 101 days ago

dhruvmanila force pushed from c5e01dc1 to c8232001 101 days ago

dhruvmanila force pushed from c8232001 to 47bd939e 101 days ago

dhruvmanila force pushed from 47bd939e to 689ca40e 101 days ago

dhruvmanila changed the title ~~[WIP] [ty] Filter overloads based on `Any` / `Unknown`~~ [ty] Filter overloads based on `Any` / `Unknown` 100 days ago

dhruvmanila marked this pull request as ready for review 100 days ago

dhruvmanila requested a review from

carljm 100 days ago

dhruvmanila requested a review from

AlexWaygood 100 days ago

dhruvmanila requested a review from

sharkdp 100 days ago

dhruvmanila requested a review from

dcreager 100 days ago

[ty] Filter overloads based on `Any` / `Unknown`

700e9004

Change the return type for ambiguous matching

fb9ee6e1

Avoid union return type for ambiguous overload match

5323be95

Include it in argument type expansion loop

3f5bc793

Add multiple test cases

ae5471df

Filter non-participating parameters

06b2e882

dhruvmanila force pushed from 689ca40e to 06b2e882 98 days ago

AlexWaygood removed review request from

AlexWaygood 97 days ago

carljm approved these changes on 2025-06-13

Address review feedback

c51b0442

Update docs, use `Unknown` for ambiguous match

aa8bbd0b

dhruvmanila merged c7e020df into main 97 days ago

dhruvmanila deleted the dhruv/overload-step-5 branch 97 days ago

Reviewers

carljm

sharkdp

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [ty] Filter overloads based on `Any` / `Unknown` #18607 Merged

[ty] Filter overloads based on `Any` / `Unknown` #18607

ruff
[ty] Filter overloads based on `Any` / `Unknown`
#18607

Merged