No return statement should be compile time error.

In dart, I can write a method that returns type Foo. I can then omit the return statement from the method, not returning any instance of Foo.

This should be a compile time error.

The issue names no files, tests, or entry points. Start by reading the Dart language specification and determine where return requirements are defined; then identify the specification change and conformance tests needed to establish that methods declared to return Foo cannot omit a return statement.

Written by the indexing model from the issue text.