ruff

[ty] Implement constraint implication for compound types

#21366

Merged