Support for a.b.c.d extract property sequence.

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 227 matching lines @@
 
   void test_infer_extractProperty_getter() {
     checkFile(r'''
 var a = 1.isEven;
 var b = 2.isNaN;
 var c = 3.foo;
 var d = foo.bar;
   ''');
   }
 
+  void test_infer_extractProperty_getter_sequence() {
+    var unit = checkFile(r'''
+class A {
+  B b = new B();
+}
+class B {
+  C c = new C();
+}
+class C {
+  int d;
+}
+var a = new A();
+var v = a.b.c.d;
+  ''');
+    expect(unit.topLevelVariables[1].type.toString(), 'int');
+  }
+
+
+  void test_infer_extractProperty_getter_sequence_generic() {
+    var unit = checkFile(r'''
+class A<T> {
+  B<T> b = new B<T>();
+}
+class B<K> {
+  C<List<K>, int> c = new C<List<K>, int>();
+}
+class C<K, V> {
+  Map<K, V> d;
+}
+var a = new A<double>();
+var v = a.b.c.d;
+  ''');
+    expect(unit.topLevelVariables[1].type.toString(), 'Map<List<double>, int>');
+  }
+
   void test_infer_extractProperty_method() {
     checkFile(r'''
 var a = 1.round;
   ''');
   }
 
   void test_infer_invokeConstructor_factoryRedirected() {
     checkFile(r'''
 class A {
   factory A() = B;
@@ skipping 312 matching lines @@
     }
 
     UnlinkedUnit definingUnit = _getUnlinkedUnit(librarySource);
     LinkedLibraryBuilder linkedLibrary =
         prelink(definingUnit, getPart, getImport);
     linkedLibrary.dependencies.skip(1).forEach((LinkedDependency d) {
       _serializeLibrary(resolveRelativeUri(d.uri));
     });
   }
 }