Fix #8585: Refresh names to avoid name clashes#8665

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#8585-2dotty-staging/dotty:fix-#8585-2Copy head branch name to clipboard