Retain default parameters with `export`#20167

Merged

odersky merged 1 commit intoscala:mainfrom

dotty-staging:silence-ext-override

Apr 13, 2024

Commits on Apr 11, 2024

Retain default parameters with `export`
smarter
committed