Fix #8881: Lift lets over applications#8918

odersky merged 5 commits intoscala:masterscala/scala3:masterfrom

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