Fix #3081: Add regression test#7935

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

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