ruff

[ty] Don't require default typevars when specializing

#17872

Merged