ruff

[ty] Improve specialization-error diagnostics

#20326

Merged