ruff

[ty] Clarify behavior of constraint sets for gradual upper bounds and constraints

#21287

Merged