Fix #4935: make desugaring optimization sound#6309

liufengyun merged 2 commits intoscala:masterscala/scala3:masterfrom

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