ruff
[ty] Share constraints in retained sequent maps
#28966

Merged

[ty] Share constraints in retained sequent maps #28966

charliermarsh merged 3 commits into main from codex/ty-intern-retained-sequents

astral-sh-bot added ty

charliermarsh added memory

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

charliermarsh requested a review 21 days ago

astral-sh-bot requested a review from

dhruvmanila 21 days ago

charliermarsh force pushed from cc17c888 to bf420c3e 16 days ago

charliermarsh force pushed from bf420c3e to f9e7ec0f 14 days ago

[ty] Share constraints in retained sequent maps

eedcce1d

[ty] Simplify sequent debugging

cf480217

[ty] Remove sequent builder test

7b636898

charliermarsh force pushed from f9e7ec0f to 7b636898 13 days ago

dhruvmanila approved these changes on 2026-10-07

charliermarsh merged 030c5005 into main 12 days ago

charliermarsh deleted the codex/ty-intern-retained-sequents branch 12 days ago

Reviewers

dhruvmanila

Assignees

No one assigned

Labels

ty memory

Milestone

No milestone