ruff

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

#22444

Merged