Implement full closure inference logic.

pkg/front_end/testcases/inference/async_closure_return_type_future.dart.strong.expect

Index: pkg/front_end/testcases/inference/async_closure_return_type_future.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/async_closure_return_type_future.dart.strong.expect b/pkg/front_end/testcases/inference/async_closure_return_type_future.dart.strong.expect
new file mode 100644
index 0000000000000000000000000000000000000000..2cf096d1d2456d2ec1b1faa861b973193005f39f
--- /dev/null
+++ b/pkg/front_end/testcases/inference/async_closure_return_type_future.dart.strong.expect
@@ -0,0 +1,33 @@
+library test;
+import self as self;
+import "dart:async" as asy;
+import "dart:core" as core;
+
+static field () → asy::Future<core::int> f = () → dynamic /* originally async */ {
+  final asy::Completer<asy::FutureOr<dynamic>> :completer = asy::Completer::sync<asy::FutureOr<dynamic>>();
+  asy::FutureOr<dynamic> :return_value;
+  dynamic :async_op_then;
+  dynamic :async_op_error;
+  dynamic :await_jump_var = 0;
+  dynamic :await_ctx_var;
+  function :async_op([dynamic :result, dynamic :exception, dynamic :stack_trace]) → dynamic yielding 
+    try {
+      #L1:
+      {
+        :return_value = 0;
+        break #L1;
+      }
+      :completer.complete(:return_value);
+      return;
+    }
+    on dynamic catch(dynamic :exception, dynamic :stack_trace) {
+      :completer.completeError(:exception, :stack_trace);
+    }
+  :async_op_then = asy::_asyncThenWrapperHelper(:async_op);
+  :async_op_error = asy::_asyncErrorWrapperHelper(:async_op);
+  asy::Future::microtask<dynamic>(:async_op);
+  return :completer.future;
+};
+static method main() → dynamic {
+  self::f;
+}