GADTs: consider singletons when checking invariant refinement#12397

abgruszecki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix/i12390dotty-staging/dotty:fix/i12390Copy head branch name to clipboard