Fix #8598: Refinements cannot have default arguments#8614

bishabosha merged 1 commit intoscala:masterscala/scala3:masterfrom

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