Fix #8516: Keep correct parameter names when selecting in refined types#8529

odersky merged 2 commits intoscala:masterscala/scala3:masterfrom

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