Retain default parameters with `export`#20167

odersky merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:silence-ext-overridedotty-staging/dotty:silence-ext-overrideCopy head branch name to clipboard