Fix #9213: handle valdefs in mixin parent constructors#9216

odersky merged 3 commits intoscala:masterscala/scala3:masterfrom

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