Infer generic method invocation type.

pkg/analyzer/test/src/summary/resynthesize_ast_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.resynthesize_ast_test;
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/src/dart/element/element.dart';
 import 'package:analyzer/src/generated/engine.dart'
@@ skipping 388 matching lines @@
   void test_inferTypesOnGenericInstantiations_5() {
     super.test_inferTypesOnGenericInstantiations_5();
   }
 
   @override
   @failingTest
   void test_inferTypesOnGenericInstantiationsInLibraryCycle() {
     super.test_inferTypesOnGenericInstantiationsInLibraryCycle();
   }
 
+  void test_invokeMethod_notGeneric_genericClass() {
+    var unit = checkFile(r'''
+class C<T> {
+  T m(int a, {String b, T c}) => null;
+}
+var v = new C<double>().m(1, b: 'bbb', c: 2.0);
+  ''');
+    expect(unit.topLevelVariables[0].type.toString(), 'double');
+  }
+
+  void test_invokeMethod_notGeneric_notGenericClass() {
+    var unit = checkFile(r'''
+class C {
+  int m(int a, {String b, int c}) => null;
+}
+var v = new C().m(1, b: 'bbb', c: 2.0);
+  ''');
+    expect(unit.topLevelVariables[0].type.toString(), 'int');
+  }
+
   @override
   @failingTest
   void test_listLiteralsShouldNotInferBottom() {
     super.test_listLiteralsShouldNotInferBottom();
   }
 
   @override
   @failingTest
   void test_mapLiteralsShouldNotInferBottom() {
     super.test_mapLiteralsShouldNotInferBottom();
@@ skipping 194 matching lines @@
     }
 
     UnlinkedUnit definingUnit = _getUnlinkedUnit(librarySource);
     LinkedLibraryBuilder linkedLibrary =
         prelink(definingUnit, getPart, getImport);
     linkedLibrary.dependencies.skip(1).forEach((LinkedDependency d) {
       _serializeLibrary(resolveRelativeUri(d.uri));
     });
   }
 }