Expand ResolvedAst to handle synthetic constructors.

pkg/compiler/lib/src/inferrer/inferrer_visitor.dart

 // Copyright (c) 2013, 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 inferrer_visitor;
 
 import 'dart:collection' show IterableMixin;
 
 import '../common.dart';
 import '../compiler.dart' show Compiler;
@@ skipping 687 matching lines @@
         CompoundBulkMixin<T, dynamic>,
         SetIfNullBulkMixin<T, dynamic>,
         PrefixBulkMixin<T, dynamic>,
         PostfixBulkMixin<T, dynamic>,
         ErrorBulkMixin<T, dynamic>,
         NewBulkMixin<T, dynamic>,
         SetBulkMixin<T, dynamic>
     implements SemanticSendVisitor<T, dynamic> {
   final Compiler compiler;
   final AstElement analyzedElement;
+  final ResolvedAst resolvedAst;
   final TypeSystem<T> types;
   final E inferrer;
   final Map<JumpTarget, List<LocalsHandler<T>>> breaksFor =
       new Map<JumpTarget, List<LocalsHandler<T>>>();
   final Map<JumpTarget, List<LocalsHandler>> continuesFor =
       new Map<JumpTarget, List<LocalsHandler<T>>>();
   LocalsHandler<T> locals;
   final List<T> cascadeReceiverStack = new List<T>();
-  final TreeElements elements;
+
+  TreeElements get elements => resolvedAst.elements;
 
   bool accumulateIsChecks = false;
   bool conditionIsSimple = false;
   List<Send> isChecks;
   int loopLevel = 0;
 
   bool get inLoop => loopLevel > 0;
   bool get isThisExposed {
     return analyzedElement.isGenerativeConstructor
         ? locals.fieldScope.isThisExposed
         : true;
   }
 
   void set isThisExposed(value) {
     if (analyzedElement.isGenerativeConstructor) {
       locals.fieldScope.isThisExposed = value;
     }
   }
 
-  InferrerVisitor(
-      AstElement analyzedElement, this.inferrer, this.types, this.compiler,
+  InferrerVisitor(AstElement analyzedElement, this.resolvedAst, this.inferrer,
+      this.types, this.compiler,
       [LocalsHandler<T> handler])
       : this.analyzedElement = analyzedElement,
-        this.locals = handler,
-        this.elements = analyzedElement.resolvedAst.elements {
+        this.locals = handler {
     if (handler != null) return;
     Node node = analyzedElement.node;
     FieldInitializationScope<T> fieldScope =
         analyzedElement.isGenerativeConstructor
             ? new FieldInitializationScope<T>(types)
             : null;
     locals = new LocalsHandler<T>(inferrer, types, compiler, node, fieldScope);
   }
 
   DiagnosticReporter get reporter => compiler.reporter;
@@ skipping 731 matching lines @@
     return type;
   }
 
   T visitCascade(Cascade node) {
     // Ignore the result of the cascade send and return the type of the cascade
     // receiver.
     visit(node.expression);
     return cascadeReceiverStack.removeLast();
   }
 }