ruff

[ty] defer calculating conjunctions in narrowing constraints

#23552

Merged