Resolve redirecting factories.

dart/lib/compiler/implementation/typechecker.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.
 
 class TypeCheckerTask extends CompilerTask {
   TypeCheckerTask(Compiler compiler) : super(compiler);
   String get name => "Type checker";
 
   static const bool LOG_FAILURES = false;
 
@@ skipping 33 matching lines @@
    * The unaliased type of a typedef'd type is the unaliased type to which its
    * name is bound. The unaliased version of any other type is the type itself.
    *
    * For example, the unaliased type of [: typedef A Func<A,B>(B b) :] is the
    * function type [: (B) -> A :] and the unaliased type of
    * [: Func<int,String> :] is the function type [: (String) -> int :].
    */
   abstract DartType unalias(Compiler compiler);
 
   abstract bool operator ==(other);
+
+  DartType asRaw() => this;
 }
 
 class TypeVariableType implements DartType {
   final TypeVariableElement element;
 
   TypeVariableType(this.element);
 
   SourceString get name => element.name;
 
   DartType unalias(Compiler compiler) => this;
@@ skipping 85 matching lines @@
       hash = 17 * hash + 3 * argumentHash;
     }
     return hash;
   }
 
   bool operator ==(other) {
     if (other is !InterfaceType) return false;
     if (!identical(element, other.element)) return false;
     return arguments == other.arguments;
   }
+
+  InterfaceType asRaw() {
+    if (arguments.isEmpty()) return this;
+    return new InterfaceType(element);
+  }
 }
 
 class FunctionType implements DartType {
   final Element element;
   DartType returnType;
   Link<DartType> parameterTypes;
 
   FunctionType(DartType this.returnType, Link<DartType> this.parameterTypes,
                Element this.element) {
     assert(element == null || invariant(element, element.isDeclaration));
@@ skipping 577 matching lines @@
   }
 
   /** Dart Programming Language Specification: 11.10 Return */
   DartType visitReturn(Return node) {
     if (identical(node.getBeginToken().stringValue, 'native')) {
       return StatementType.RETURNING;
     }
     if (node.isRedirectingFactoryBody) {
       // TODO(lrn): Typecheck the body. It must refer to the constructor
       // of a subtype.
-      return elements.getType(node);
+      return StatementType.RETURNING;
     }
 
     final expression = node.expression;
     final isVoidFunction = (identical(expectedReturnType, types.voidType));
 
     // Executing a return statement return e; [...] It is a static type warning
     // if the type of e may not be assigned to the declared return type of the
     // immediately enclosing function.
     if (expression != null) {
       final expressionType = analyze(expression);
@@ skipping 216 matching lines @@
   }
 
   DartType visitStatement(Statement node) {
     compiler.unimplemented('visitNode', node: node);
   }
 
   DartType visitStringNode(StringNode node) {
     compiler.unimplemented('visitNode', node: node);
   }
 }