YCheck that returned value conforms to type of the method#414

Merged

odersky merged 1 commit intoscala:masterfrom

dotty-staging:ycheck-returns

Mar 18, 2015

Commits on Mar 18, 2015

Erasure postcondition: check that returned value conforms to method result type
DarkDimius
committed