ruff

[ty] Validate type variable defaults don't reference later type parameters or type parameters out of scope

#23623

Merged