Fix 13493: compute union of child types for mirror#15007

bishabosha wants to merge 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-13493dotty-staging/dotty:fix-13493Copy head branch name to clipboard