Skip to content

Add fixed GADT exhaustivity test cases#16169

Merged
abgruszecki merged 1 commit intoscala:mainfrom dwijnand:exh/spuriousOct 18, 2022

Commits

Commits on Oct 11, 2022