Fix merge conflict between #5193 and #5204#5213

allanrenucci merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-merge-conflictdotty-staging/dotty:fix-merge-conflictCopy head branch name to clipboard