ruff
[ty] Don't quantify away non-inferable typevars before solving, take 2
#27337
Open

[ty] Don't quantify away non-inferable typevars before solving, take 2 #27337

dcreager wants to merge 11 commits into main from dcreager/remove-remove-noninferable-2
dcreager
dcreager dcreager requested a review from carljm carljm 8 days ago
dcreager dcreager added internal
dcreager dcreager added ty
astral-sh-bot
astral-sh-bot
astral-sh-bot
dcreager
dcreager commented on 2026-07-30
dcreager dcreager force pushed from 22730cc0 to eeaf7c3b 8 days ago
codspeed-hq
MichaReiser
MichaReiser commented on 2026-07-31
dcreager
dcreager commented on 2026-07-31
astral-sh-bot
dcreager dcreager marked this pull request as ready for review 7 days ago
dcreager dcreager requested a review 7 days ago
dcreager dcreager force pushed from aa63088b to cfd8ec4b 4 days ago
dcreager
carljm
carljm approved these changes on 2026-08-03
dcreager dcreager force pushed from ab773926 to 071080bb 4 days ago
dcreager dcreager changed the base branch from main to dcreager/move-benches 4 days ago
dcreager
dcreager dcreager force pushed from 071080bb to 261de6e8 4 days ago
Base automatically changed from dcreager/move-benches to main 4 days ago
dcreager dcreager force pushed from 261de6e8 to 52b63dc8 4 days ago
ibraheemdev
carljm
carljm approved these changes on 2026-08-04
dcreager add custom walker
6de86a7a
dcreager hook up the new solution walker
01aaa379
dcreager a single empty path shouldn't be viral
b022ef3e
dcreager [π] Add inferability regression coverage and independent-alternatives…
3eaed925
dcreager clippity bippity
dde7512b
dcreager [π] Address original review feedback and document solver investigatio…
9b41d414
dcreager [π] Diagnose inferability review follow-ups and document existing sol…
2c0e5d93
dcreager remove analysis plan
67b17726
dcreager clearer TODO xfails
c3009d9f
dcreager [π] Cover ecosystem dictionary-factory and iterable-constructor regre…
bd8b7fce
dcreager [π] Preserve main-compatible relevant non-inferable solution bindings
50429c6a
ibraheemdev ibraheemdev force pushed from 52b63dc8 to 50429c6a 2 days ago
MichaReiser

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone