Downwards inference. This adds support to the resolver for downwards

pkg/analyzer/lib/src/generated/ast.dart

 // Copyright (c) 2014, 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 engine.ast;
 
 import 'dart:collection';
 
 import 'element.dart';
 import 'engine.dart' show AnalysisEngine;
@@ skipping 5837 matching lines @@
     _safelyVisitChild(_expression, visitor);
   }
 }
 
 /**
  * A node that can occur in the initializer list of a constructor declaration.
  *
  * > constructorInitializer ::=
  * >     [SuperConstructorInvocation]
  * >   | [ConstructorFieldInitializer]
+ * >   | [RedirectingConstructorInvocation]
  */
 abstract class ConstructorInitializer extends AstNode {}
 
 /**
  * The name of the constructor.
  *
  * > constructorName ::=
  * >     type ('.' identifier)?
  */
 class ConstructorName extends AstNode {
@@ skipping 14779 matching lines @@
   }
 
   @override
   accept(AstVisitor visitor) => visitor.visitYieldStatement(this);
 
   @override
   void visitChildren(AstVisitor visitor) {
     _safelyVisitChild(_expression, visitor);
   }
 }