Fix #8598: Refinements cannot have default arguments#8614

Merged

bishabosha merged 1 commit intoscala:masterfrom

dotty-staging:fix-#8598

Mar 26, 2020

Commits on Mar 26, 2020

Fix #8598: Refinements cannot have default arguments
odersky
committed