ruff

[ty] Add and test when constraint sets are satisfied by their typevars

#21129

Merged