ruff
[ty] Refactor constraint traversal and cache satisfiability checks
#29492

Merged

[ty] Refactor constraint traversal and cache satisfiability checks #29492

dcreager merged 14 commits into main from dcreager/more-walker-caching

astral-sh-bot added ty

dcreager added internal

astral-automations-bot commented on 2026-10-19

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

dcreager requested a review 12 days ago

astral-sh-bot requested a review from

sharkdp 12 days ago

sharkdp approved these changes on 2026-10-20

dcreager force pushed from cf065078 to 1adcaaef 11 days ago

Base automatically changed from dcreager/receiver-implication to main 11 days ago

global limits

d04f87ac

parameterize Assignment

75d3b1f2

separate out "atomic" constraints

b770d0ec

make Constraint non-Copy

882c549f

owned builder

e427efac

move node_is_satisfied_on_path

705556c3

refactor constraint walking a bit more

30c6f345

don't use visit_node_and_then for node_is_satisfiable_on_path

f42ca6a6

don't over-share node walking

932db0d6

cache node_is_satisfiable_on_path

3b6741d6

[ty] Document atomic constraint classification

4aba2503

remove stale doc link

7f6cb2c8

[ty] Deduplicate persisted constraint source ordering

89f358d4

[ty] Bound constraint satisfiability queries in ty_extensions

9055c904

dcreager force pushed from 1adcaaef to 9055c904 11 days ago

dcreager merged c46acee0 into main 11 days ago

dcreager deleted the dcreager/more-walker-caching branch 11 days ago

Reviewers

sharkdp

astral-automations-bot

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone

ruff [ty] Refactor constraint traversal and cache satisfiability checks #29492 Merged

[ty] Refactor constraint traversal and cache satisfiability checks #29492

ruff
[ty] Refactor constraint traversal and cache satisfiability checks
#29492

Merged