Infer `Local` for `val` constructor params#23871

mbovel wants to merge 2 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:mb/22620dotty-staging/dotty:mb/22620Copy head branch name to clipboard