Infer the return types of local functions where appropriate.

pkg/front_end/testcases/inference/infer_local_function_return_type.dart

Index: pkg/front_end/testcases/inference/infer_local_function_return_type.dart
diff --git a/pkg/front_end/testcases/inference/infer_local_function_return_type.dart b/pkg/front_end/testcases/inference/infer_local_function_return_type.dart
index a708bf85b8317e373069ec7294708144624b91bc..f74c0c2198f00376784a2dacd81e7e8c1e7ae3f3 100644
--- a/pkg/front_end/testcases/inference/infer_local_function_return_type.dart
+++ b/pkg/front_end/testcases/inference/infer_local_function_return_type.dart
@@ -6,30 +6,29 @@
 library test;
 
 test() {
-  f0() => 42;
-  f1() async => 42;
+  /*@returnType=int*/ f0() => 42;
+  /*@returnType=Future<int>*/ f1() async => 42;
 
-  f2() {
+  /*@returnType=int*/ f2() {
     return 42;
   }
 
-  f3() async {
+  /*@returnType=Future<int>*/ f3() async {
     return 42;
   }
 
-  f4() sync* {
+  /*@returnType=Iterable<int>*/ f4() sync* {
     yield 42;
   }
 
-  f5() async* {
+  /*@returnType=Stream<int>*/ f5() async* {
     yield 42;
   }
 
   num f6() => 42;
 
-  f7() => f7();
-  f8() => /*error:REFERENCED_BEFORE_DECLARATION*/ f9();
-  f9() => f5();
+  /*@returnType=dynamic*/ f7() => f7();
+  /*@returnType=Stream<int>*/ f8() => f5();
 
   var /*@type=() -> int*/ v0 = f0;
   var /*@type=() -> Future<int>*/ v1 = f1;
@@ -39,8 +38,7 @@ test() {
   var /*@type=() -> Stream<int>*/ v5 = f5;
   var /*@type=() -> num*/ v6 = f6;
   var /*@type=() -> dynamic*/ v7 = f7;
-  var /*@type=() -> dynamic*/ v8 = f8;
-  var /*@type=() -> Stream<int>*/ v9 = f9;
+  var /*@type=() -> Stream<int>*/ v8 = f8;
 }
 
 main() {}