WyC: Return stmt check for missing value. #395 Previously, the flow type checker did not ensure that, for a function or method declared to return a value, when a return statement was encountered that it actually returned a value.  This is now fixed, and the error reported mimics Java "missing return value".
WyC: Return stmt check for missing value. #395
Previously, the flow type checker did not ensure that, for a function or
method declared to return a value, when a return statement was
encountered that it actually returned a value.  This is now fixed, and
the error reported mimics Java "missing return value".

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler