Add type arguments to constants.

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

Index: sdk/lib/_internal/compiler/implementation/elements/elements.dart
diff --git a/sdk/lib/_internal/compiler/implementation/elements/elements.dart b/sdk/lib/_internal/compiler/implementation/elements/elements.dart
index ea725059aebe9f18af9dfa941a8d9bcf01c51b34..e51c7196c563197e193b20b38aecb2b53597b29c 100644
--- a/sdk/lib/_internal/compiler/implementation/elements/elements.dart
+++ b/sdk/lib/_internal/compiler/implementation/elements/elements.dart
@@ -739,6 +739,16 @@ abstract class FunctionElement extends Element {
 
   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);