ruff

720c9ca2 - [ty] Make constraint implication cycle-aware