Fix #4762: Add regression test#5496

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-i4762dotty-staging/dotty:fix-i4762Copy head branch name to clipboard