Add type arguments to constants.

sdk/lib/_internal/compiler/implementation/elements/elements.dart

 // Copyright (c) 2012, 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 elements;
 
 
 import 'modelx.dart';
 import '../tree/tree.dart';
 import '../util/util.dart';
@@ skipping 721 matching lines @@
   DartType get type;
   FunctionSignature get functionSignature;
   FunctionElement get redirectionTarget;
   FunctionElement get defaultImplementation;
 
   FunctionElement get patch;
   FunctionElement get origin;
 
   bool get isRedirectingFactory;
 
+  /**
+   * Compute the type of the target of a redirecting constructor or factory
+   * for an instantiation site with type [:newType:].
+   *
+   * TODO(karlklose): get rid of this method and resolve the target type
+   * during resolution when we correctly resolve chains of redirections.
+   */
+  InterfaceType computeTargetType(Compiler compiler,
+                                  InterfaceType newType);
+
   // TODO(kasperl): These are bit fishy. Do we really need them?
   void set patch(FunctionElement value);
   void set origin(FunctionElement value);
   void set defaultImplementation(FunctionElement value);
 
   void setPatch(FunctionElement patchElement);
   FunctionSignature computeSignature(Compiler compiler);
   int requiredParameterCount(Compiler compiler);
   int optionalParameterCount(Compiler compiler);
   int parameterCount(Compiler compiler);
@@ skipping 162 matching lines @@
   int get resolutionState;
   Token get beginToken;
   Token get endToken;
 
   // TODO(kasperl): Try to get rid of these.
   void set annotatedElement(Element value);
   void set resolutionState(int value);
 
   MetadataAnnotation ensureResolved(Compiler compiler);
 }