ruff
[ty] Use existential quantification to only consider inferable typevars
#24383

Merged

[ty] Use existential quantification to only consider inferable typevars #24383

dcreager merged 11 commits into main from dcreager/quantify-solutions

mentions_noninferable_typevars

f17d2629

remove_noninferable

a5c4ba1b

quantify before extracting solutions

1d810d98

keep mixed-bound constraints when removing noninferable solutions

97e9dcb7

existential checks in default_solve

af3b0f98

robust to typevar ordering

49587633

remove cyclic checks

68de1f70

dcreager added internal

dcreager added ty

add mdtest for proto-mul specialization regression

4bd51e3c

dcreager marked this pull request as ready for review 40 days ago

dcreager requested a review from

carljm 40 days ago

dcreager requested a review from

AlexWaygood 40 days ago

dcreager requested a review from

sharkdp 40 days ago

dcreager requested a review from

ibraheemdev 40 days ago

astral-sh-bot assigned

ibraheemdev 40 days ago

carljm removed review request from

carljm 40 days ago

remove stale comment

0e31d21b

AlexWaygood removed review request from

AlexWaygood 37 days ago

merge main

5044b671

ibraheemdev approved these changes on 2026-04-15

merge main

a8d4d0f7

dcreager merged 810cab35 into main 26 days ago

dcreager deleted the dcreager/quantify-solutions branch 26 days ago

Reviewers

ibraheemdev

sharkdp

Assignees

ibraheemdev

Labels

internal ty

Milestone

No milestone

ruff [ty] Use existential quantification to only consider inferable typevars #24383 Merged

[ty] Use existential quantification to only consider inferable typevars #24383

ruff
[ty] Use existential quantification to only consider inferable typevars
#24383

Merged