Handle property accesses in generic method invocation

pkg/analyzer/test/generated/resolver_test.dart

Index: pkg/analyzer/test/generated/resolver_test.dart
diff --git a/pkg/analyzer/test/generated/resolver_test.dart b/pkg/analyzer/test/generated/resolver_test.dart
index 927a4ae9635a1fe9a15d2fb21131b5952e8d1874..b26252e601a3b836f0bbce29ce1bb9887dd5e92d 100644
--- a/pkg/analyzer/test/generated/resolver_test.dart
+++ b/pkg/analyzer/test/generated/resolver_test.dart
@@ -13152,6 +13152,41 @@ main() {
     expect(declaration.initializer.propagatedType, isNull);
   }
 
+  void test_genericFunction_typedef() {
+    String code = r'''
+typedef T F<T>(T x);
+F f0;
+
+class C {
+  static F f1;
+  F f2;
+  void g(F f3) {

[Jennifer Messerly, 2015/12/07 23:15:13]

test a local variable as well?

[Leaf, 2015/12/08 00:00:54]

Done.

+    f0(3);
+    f1(3);
+    f2(3);
+    f3(3);
+  }
+}
+''';
+    _resolveTestUnit(code);
+
+    List<Statement> statements =
+        AstFinder.getStatementsInMethod(testUnit, "C", "g");
+
+    ExpressionStatement exps0 = statements[0];
+    ExpressionStatement exps1 = statements[1];
+    ExpressionStatement exps2 = statements[2];
+    ExpressionStatement exps3 = statements[3];
+    Expression exp0 = exps0.expression;
+    Expression exp1 = exps1.expression;
+    Expression exp2 = exps2.expression;
+    Expression exp3 = exps3.expression;
+    expect(exp0.staticType, typeProvider.dynamicType);
+    expect(exp1.staticType, typeProvider.dynamicType);
+    expect(exp2.staticType, typeProvider.dynamicType);
+    expect(exp3.staticType, typeProvider.dynamicType);
+  }
+
   void test_genericFunction() {
     if (!AnalysisEngine.instance.useTaskModel) {
       return;