Remove quoted name splices#8693

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:remove-name-patternsdotty-staging/dotty:remove-name-patternsCopy head branch name to clipboard