Fix spurious subtype check pruning when both sides have unions#18213

Merged

Linyxus merged 5 commits intoscala:mainfrom

dotty-staging:fix-i17465

Jul 20, 2023

Commits on Jul 14, 2023

Fix spurious subtype check pruning when both sides have unions
Linyxus
committed

Commits on Jul 17, 2023

Commits on Jul 18, 2023

Enable short circuiting for `CoveredStatus.CombinedWith`
Linyxus
committed

Commits on Jul 20, 2023

Apply suggested changes in review
Linyxus
committed