ruff

1765014b - [ty] Shrink reachability constraints (#19410)