ruff
[ty] Add universal constraint quantification
#26694

Merged

[ty] Add universal constraint quantification #26694

charliermarsh merged 2 commits into main from charlie/constraint-set-universal-quantification

charliermarsh added ty

charliermarsh requested a review from

dcreager 15 days ago

charliermarsh marked this pull request as ready for review 15 days ago

charliermarsh requested a review 15 days ago

charliermarsh force pushed from 0e83bfb3 to 4462195b 15 days ago

charliermarsh force pushed from 4462195b to 88e4f62a 14 days ago

dcreager approved these changes on 2026-07-13

[ty] Add universal constraint quantification

2bb479ce

charliermarsh force pushed from 88e4f62a to 2bb479ce 12 days ago

[ty] Test universal quantification with mdtests

c521b33f

charliermarsh requested a review 12 days ago

charliermarsh enabled auto-merge (squash) 12 days ago

charliermarsh merged b860ddc3 into main 12 days ago

charliermarsh deleted the charlie/constraint-set-universal-quantification branch 12 days ago

Reviewers

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone