Add support for type inference involving generics.

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 60 matching lines @@
   test_fully_linked_references_follow_other_references() {
     // TODO(paulberry): fix.
   }
 
   @override
   test_implicit_dependencies_follow_other_dependencies() {
     // TODO(paulberry): fix.
   }
 
   @override
-  test_inferred_type_refers_to_bound_type_param() {
-    // TODO(paulberry): fix.
-  }
-
-  @override
-  test_inferred_type_refers_to_function_typed_parameter_type_generic_class() {
-    // TODO(paulberry): fix.
-  }
-
-  @override
-  test_inferred_type_refers_to_function_typed_parameter_type_other_lib() {
-    // TODO(paulberry): fix.
-  }
-
-  @override
-  test_inferred_type_refers_to_method_function_typed_parameter_type() {
-    // TODO(paulberry): fix.
-  }
-
-  @override
-  test_inferred_type_refers_to_setter_function_typed_parameter_type() {
-    // TODO(paulberry): fix.
-  }
-
-  @override
   test_initializer_executable_with_bottom_return_type() {
     // TODO(paulberry): fix.
   }
 
   @override
   test_initializer_executable_with_imported_return_type() {
     // TODO(paulberry): fix.
   }
 
   @override
@@ skipping 69 matching lines @@
   @override
   test_variable_propagated_type_new_reference() {
     // TODO(paulberry): fix.
   }
 
   @override
   test_variable_propagated_type_omit_dynamic() {
     // TODO(paulberry): fix.
   }
 }