ruff
[ty] Defer existential quantification in constraint sets
#25559

Open

[ty] Defer existential quantification in constraint sets #25559

dcreager wants to merge 7 commits into main from dcreager/deferred-quantification

astral-sh-bot added ty

dcreager force pushed from 540554d7 to 67478db4 6 days ago

Base automatically changed from dcreager/alpha-renaming to main 1 day ago

[π] Plan deferred quantification for callable constraints

47a66442

[π] Add deferred constraint-set quantification metadata

764ec3f1

[π] Propagate deferred constraint-set quantification

da02c808

[π] Defer callable quantification through solving

80637b23

[π] Finish deferred quantification display audit

a2062686

[π] Add deferred quantification tests

26bcf3bb

remove completed plan

f47fa54e

dcreager force pushed from 67478db4 to f47fa54e 1 day ago

Reviewers

No reviews

Assignees

No one assigned

Labels

Milestone

No milestone