Fix #7025: Add regression test#8119

liufengyun merged 1 commit intoscala:masterscala/scala3:masterfrom

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