Check non-deferred declarations are implemented#1338

Merged

DarkDimius merged 1 commit intoscala:masterfrom

dotty-jvican:non-deferred-ycheck

Jun 30, 2016

Commits on Jun 29, 2016

Add postcondition check that ensures #971
jvican
committed