Deskolemise patterns to suppress exhaustivity warnings#13137

abgruszecki merged 1 commit intoscala:masterscala/scala3:masterfrom

dwijnand:patmat-depdwijnand/scala3:patmat-depCopy head branch name to clipboard