ruff
[ty] Only consider fully static pivots when deriving transitive constraints
#22444

Merged

[ty] Only consider fully static pivots when deriving transitive constraints #22444

dcreager merged 2 commits into main from dcreager/gradual-transitivity

add failing tests

5e149eb7

handle non-fully-static pivots correctly

6b80e384

dcreager requested a review from

carljm 146 days ago

dcreager requested a review from

AlexWaygood 146 days ago

dcreager requested a review from

sharkdp 146 days ago

dcreager added ty

dcreager added ecosystem-analyzer

carljm approved these changes on 2026-01-07

dcreager merged 701f5134 into main 145 days ago

dcreager deleted the dcreager/gradual-transitivity branch 145 days ago

Reviewers

carljm

AlexWaygood

sharkdp

Assignees

No one assigned

Labels

ty ecosystem-analyzer

Milestone

No milestone