Begin implementing type inference for AST summaries.

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

 // Copyright (c) 2016, 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.
 
 library analyzer.test.src.summary.summarize_ast_test;
 
 import 'package:unittest/unittest.dart';
 
 import '../../reflective_tests.dart';
 import 'summarize_ast_test.dart';
@@ skipping 140 matching lines @@
   test_linked_type_dependency_reuse() {
     // TODO(paulberry): fix.
   }
 
   @override
   test_method_inferred_type_nonstatic_implicit_param() {
     // TODO(paulberry): fix.
   }
 
   @override
-  test_method_inferred_type_nonstatic_implicit_return() {
-    // TODO(paulberry): fix.
-  }
-
-  @override
   test_setter_inferred_type_nonstatic_implicit_param() {
     // TODO(paulberry): fix.
   }
 
   @override
   test_setter_inferred_type_nonstatic_implicit_return() {
     // TODO(paulberry): fix.
   }
 
   @override
@@ skipping 39 matching lines @@
   @override
   test_variable_propagated_type_new_reference() {
     // TODO(paulberry): fix.
   }
 
   @override
   test_variable_propagated_type_omit_dynamic() {
     // TODO(paulberry): fix.
   }
 }