ruff

e87c9368 - [ty] Use Type::ordering for deterministic constraint ordering