ruff

[ty] Implement Duboc's TDD optimization for unions of constraint sets

#23881

Merged