ruff

[red-knot] binary arithmetic on instances

#13800

Merged