ruff

[ty] Perform assignability etc checks using new `Constraints` trait

#19838

Merged