Generalize the fastpath for comparisons of unions which are correspondences (#41903)
Generalize the fastpath for comparisons of unions which are correspondences (#41903)

* Generalize the fastpath for comparisons of unions which are correspondences to unions resulting from the application of intersections

* Add comment
SaschaNaz/TypeScript,kpreisser/TypeScript,SaschaNaz/TypeScript,RyanCavanaugh/TypeScript,microsoft/TypeScript,microsoft/TypeScript,kpreisser/TypeScript,kpreisser/TypeScript,kitsonk/TypeScript,Microsoft/TypeScript,Microsoft/TypeScript,Microsoft/TypeScript,weswigham/TypeScript,SaschaNaz/TypeScript,RyanCavanaugh/TypeScript,kitsonk/TypeScript,microsoft/TypeScript,weswigham/TypeScript,RyanCavanaugh/TypeScript,SaschaNaz/TypeScript,kitsonk/TypeScript,weswigham/TypeScript