Implement type inference for await expressions in front_end.

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

Index: pkg/front_end/testcases/inference/downwards_inference_async_await.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/downwards_inference_async_await.dart.strong.expect b/pkg/front_end/testcases/inference/downwards_inference_async_await.dart.strong.expect
new file mode 100644
index 0000000000000000000000000000000000000000..a68c5cf695bcd8d7ac327b1b9bf55e36ef8c43fb
--- /dev/null
+++ b/pkg/front_end/testcases/inference/downwards_inference_async_await.dart.strong.expect
@@ -0,0 +1,36 @@
+library test;
+import self as self;
+import "dart:async" as asy;
+import "dart:core" as core;
+
+static method main() → asy::Future<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;
+  dynamic :saved_try_context_var0;
+  function :async_op([dynamic :result, dynamic :exception, dynamic :stack_trace]) → dynamic yielding 
+    try {
+      #L1:
+      {
+        dynamic d;
+        asy::_awaitHelper(<core::int>[d], :async_op_then, :async_op_error, :async_op);
+        [yield] null;
+        core::List<core::int> l0 = :result;
+        asy::_awaitHelper(asy::Future::value<core::List<core::int>>(<core::int>[d]), :async_op_then, :async_op_error, :async_op);
+        [yield] null;
+        core::List<core::int> l1 = :result;
+      }
+      :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;
+}