ruff

[ty] Prefer exact matches when solving constrained type variables

#21165

Merged