Add regression tests for issues that fixed themselves#12847

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:regression-testsdotty-staging/dotty:regression-testsCopy head branch name to clipboard