ruff

[ty] Re-infer binary operator arguments with type context

#25021

Open