add more gadt exhaustivity check tests#3999

Merged

Blaisorblade merged 5 commits intoscala:masterfrom

dotty-staging:gadt-test

Feb 20, 2018

Commits on Feb 14, 2018

add gadt exhaustivity check test
liufengyun
committed

Commits on Feb 15, 2018

Commits on Feb 19, 2018

small refactoring of code
liufengyun
committed