ruff

0e19fc9a - [ty] defer calculating conjunctions in narrowing constraints (#23552)