Allowing `e` of any type in `void f(...) => e`

tests/language/void_block_return_test.dart

Index: tests/language/void_block_return_test.dart
diff --git a/tests/language/void_block_return_test.dart b/tests/language/void_block_return_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..8833674031d865955501fa178c3ab836d484a716
--- /dev/null
+++ b/tests/language/void_block_return_test.dart
@@ -0,0 +1,14 @@
+// Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+// Testing that a void block function is not allowed to `return e`
+// where `e` is non-void.
+
+void foo() {
+  return 42; //# 00: static type warning
+}
+
+main() {
+  foo();
+}