Fix 9890: Add regression test#12638

liufengyun merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-9890-ndotty-staging/dotty:fix-9890-nCopy head branch name to clipboard