Add test to close #3666, problems with typechecking GADTs#4069

Blaisorblade wants to merge 3 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:test-3666dotty-staging/dotty:test-3666Copy head branch name to clipboard