Improve our ability to override default parameters#11704

odersky merged 3 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:default-getter-type-2dotty-staging/dotty:default-getter-type-2Copy head branch name to clipboard