Fix spurious subtype check pruning when both sides have unions#18213
Merged
Linyxus merged 5 commits intoscala:mainfrom Jul 20, 2023
Merged
Fix spurious subtype check pruning when both sides have unions#18213Linyxus merged 5 commits intoscala:mainfrom
Linyxus merged 5 commits intoscala:mainfrom
Commits
Commits on Jul 14, 2023
Commits on Jul 17, 2023
- committed