ruff
[ty] Check for unsatisfiable bodies before existentially quantifying
#29504

Merged

[ty] Check for unsatisfiable bodies before existentially quantifying #29504

dcreager merged 3 commits into main from dcreager/never-sat-existential

dcreager added performance

dcreager added ty

dcreager changed the title ~~[ty] Check for unsatisfiable bodies before existential quantification~~ [ty] Check for unsatisfiable bodies before existentially quantifying 8 days ago

dcreager force pushed from bf9adec7 to 6c515d67 8 days ago

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

dcreager requested a review 7 days ago

astral-sh-bot requested a review from

dhruvmanila 7 days ago

dcreager force pushed from ee9b8484 to aa4d84a3 6 days ago

dcreager force pushed from aa4d84a3 to 485079d1 6 days ago

Base automatically changed from dcreager/more-walker-caching to main 6 days ago

[ty] Check for unsatisfiable bodies before quantification

40f6fcdc

[ty] Expose trivial constraint satisfiability checks

7b83be3f

reword some commentary

0f145f54

dcreager force pushed from 485079d1 to 0f145f54 6 days ago

dhruvmanila approved these changes on 2026-10-22

dcreager merged 734d75ae into main 5 days ago

dcreager deleted the dcreager/never-sat-existential branch 5 days ago

Reviewers

dhruvmanila

Assignees

No one assigned

Labels

performance ty

Milestone

No milestone

ruff [ty] Check for unsatisfiable bodies before existentially quantifying #29504 Merged

[ty] Check for unsatisfiable bodies before existentially quantifying #29504

ruff
[ty] Check for unsatisfiable bodies before existentially quantifying
#29504

Merged