Skip to content

Deskolemise patterns to suppress exhaustivity warnings#13137

Merged
abgruszecki merged 1 commit intoscala:masterfrom
dwijnand:patmat-dep
Aug 26, 2021

Commits

Commits on Jul 23, 2021