ruff

[ty] avoid costly computations in intersection type construction

#23555

Open