ruff
[ty] Rescope still-generic typevars in return callables
#25634

Open

[ty] Rescope still-generic typevars in return callables #25634

dcreager wants to merge 8 commits into dcreager/deferred-quantification from dcreager/inferred-generic-return-callables

dcreager added ty

dcreager force pushed from 9acbd15d to 81aee175 5 days ago

dcreager commented on 2026-06-04

mdtests

80f2471e

[π] Plan returned-callable typevar rescoping

ae927d33

[π] Refactor returned-callable typevar rebinding

46dbab31

[π] Track returned-callable rescoping candidates

5d72575f

[π] Rescope call-result returned callables

952320e5

[π] Fix returned-callable generic argument rescoping

06b55870

[π] Re-infer generic call arguments after specialization

2738ab9b

remove completed plan

8b2b15d0

dcreager force-pushed the dcreager/deferred-quantification branch from 67478db4 to f47fa54e 21 hours ago

dcreager force pushed from 81aee175 to 8b2b15d0 21 hours ago

Reviewers

No reviews

Assignees

No one assigned

Labels

Milestone

No milestone