fix #28008, fix #28009 implement FutureOr<T>

pkg/analyzer/test/src/summary/resynthesize_ast_test.dart

Index: pkg/analyzer/test/src/summary/resynthesize_ast_test.dart
diff --git a/pkg/analyzer/test/src/summary/resynthesize_ast_test.dart b/pkg/analyzer/test/src/summary/resynthesize_ast_test.dart
index aa9cde3d41c5cf0c6cc413d6a90c8a423eb4d0ac..d50c7fee03c3155ea626d6b716905f28fe900238 100644
--- a/pkg/analyzer/test/src/summary/resynthesize_ast_test.dart
+++ b/pkg/analyzer/test/src/summary/resynthesize_ast_test.dart
@@ -701,6 +701,13 @@ var v = new C().m(1, b: 'bbb', c: 2.0);
         .test_unsafeBlockClosureInference_methodCall_implicitTypeParam_comment();
   }
 
+  @override
+  @failingTest
+  void test_voidReturnTypeSubtypesDynamic() =>

[Paul Berry, 2017/01/24 17:45:13]

I'm guessing this override is no longer be necessary now that I've landed
https://codereview.chromium.org/2650943006/.

[Jennifer Messerly, 2017/01/25 00:33:35]

can confirm. thank you very much! :)

+      // TODO(jmesserly): figure out if it's okay to infer `void` or if we
+      // should infer `dynamic` as the summary code does.
+      super.test_voidReturnTypeSubtypesDynamic();
+
   LibraryElementImpl _checkSource(
       SummaryResynthesizer resynthesizer, Source source) {
     LibraryElementImpl resynthesized =