Throw a runtime error when trying to call a constructor of a class that could not be resolved.

lib/compiler/implementation/ssa/builder.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 Interceptors {
   Compiler compiler;
   Interceptors(Compiler this.compiler);
 
   SourceString mapOperatorToMethodName(Operator op) {
     String name = op.source.stringValue;
@@ skipping 83 matching lines @@
   }
 
   Element getIndexAssignmentInterceptor() {
     return compiler.findHelper(const SourceString('indexSet'));
   }
 
   Element getExceptionUnwrapper() {
     return compiler.findHelper(const SourceString('unwrapException'));
   }
 
+  Element getThrowRuntimeError() {
+    return compiler.findHelper(const SourceString('throwRuntimeError'));
+  }
+
   Element getClosureConverter() {
     return compiler.findHelper(const SourceString('convertDartClosureToJS'));
   }
 
   Element getTraceFromException() {
     return compiler.findHelper(const SourceString('getTraceFromException'));
   }
 
   Element getEqualsInterceptor() {
     return compiler.findHelper(const SourceString('eq'));
@@ skipping 2389 matching lines @@
           return HType.MUTABLE_ARRAY;
         }
       } else if (element.isGenerativeConstructor()) {
         ClassElement cls = element.getEnclosingClass();
         return new HBoundedType.exact(cls.type);
       } else {
         return HType.UNKNOWN;
       }
     }
 
+    Element constructor = elements[node];
     Selector selector = elements.getSelector(node);
-    Element element = elements[node];
-    if (compiler.enqueuer.resolution.getCachedElements(element) === null) {
-      compiler.internalError("Unresolved element: $element", node: node);
+    if (compiler.enqueuer.resolution.getCachedElements(constructor) === null) {
+      compiler.internalError("Unresolved element: $constructor", node: node);
     }
-    FunctionElement functionElement = element;
-    element = functionElement.defaultImplementation;
-    HInstruction target = new HStatic(element);
+    FunctionElement functionElement = constructor;
+    constructor = functionElement.defaultImplementation;
+    HInstruction target = new HStatic(constructor);
     add(target);
     var inputs = <HInstruction>[];
     inputs.add(target);
     bool succeeded = addStaticSendArgumentsToList(selector, node.arguments,
-                                                  element, inputs);
+                                                  constructor, inputs);
     if (!succeeded) {
       // TODO(ngeoffray): Match the VM behavior and throw an
       // exception at runtime.
       compiler.cancel('Unimplemented non-matching static call', node: node);
     }
 
     TypeAnnotation annotation = getTypeAnnotationFromSend(node);
     elements.getType(annotation).arguments.forEach((Type argument) {
       inputs.add(analyzeTypeArgument(argument, node));
     });
 
-    HType elementType = computeType(element);
+    HType elementType = computeType(constructor);
     HInstruction newInstance = new HInvokeStatic(inputs, elementType);
     pushWithPosition(newInstance, node);
   }
 
   visitStaticSend(Send node) {
     Selector selector = elements.getSelector(node);
     Element element = elements[node];
     if (element === compiler.assertMethod && !compiler.enableUserAssertions) {
       stack.add(graph.addConstantNull());
       return;
@@ skipping 49 matching lines @@
     } else if (send.selector is Send) {
       Send selector = send.selector;
       if (selector.receiver is TypeAnnotation) {
         return selector.receiver;
       }
     } else {
       compiler.internalError("malformed send in new expression");
     }
   }
 
+  void generateRuntimeError(Node node, String message) {
+    DartString messageObject = new DartString.literal(message);
+    HInstruction errorMessage = graph.addConstantString(messageObject, node);
+    Element helper = interceptors.getThrowRuntimeError();
+    pushInvokeHelper1(helper, errorMessage);
+  }
+
   visitNewExpression(NewExpression node) {
     Element element = elements[node.send];
-    if (Element.isInvalid(element)) {
+    if (element != null && element.isErroneous()) {
       ErroneousElement error = element;
       Message message = error.errorMessage;
       if (message.kind === MessageKind.CANNOT_FIND_CONSTRUCTOR) {
         Element helper =
             compiler.findHelper(const SourceString('throwNoSuchMethod'));
         DartString receiverLiteral = new DartString.literal('');
         HInstruction receiver = graph.addConstantString(receiverLiteral, node);
         String constructorName = 'constructor ${message.arguments[0]}';
         DartString nameLiteral = new DartString.literal(constructorName);
         HInstruction name = graph.addConstantString(nameLiteral, node.send);
         List<HInstruction> inputs = <HInstruction>[];
         node.send.arguments.forEach((argumentNode) {
           visit(argumentNode);
           HInstruction value = pop();
           inputs.add(value);
         });
         HInstruction arguments = new HLiteralList(inputs);
         add(arguments);
         pushInvokeHelper3(helper, receiver, name, arguments);
+      } else if (message.kind === MessageKind.CANNOT_RESOLVE) {
+        generateRuntimeError(node.send, message.message);
       } else {
-        compiler.cancel('Unimplemented unresolved constructor call',
-                        node: node);
+        compiler.internalError('unexpected unresolved constructor call',
+                               node: node);
       }
     } else if (node.isConst()) {
       // TODO(karlklose): add type representation
       ConstantHandler handler = compiler.constantHandler;
       Constant constant = handler.compileNodeWithDefinitions(node, elements);
       stack.add(graph.addConstant(constant));
     } else {
       visitNewSend(node.send);
     }
   }
@@ skipping 1294 matching lines @@
           new HSubGraphBlockInformation(elseBranch.graph));
 
     HBasicBlock conditionStartBlock = conditionBranch.block;
     conditionStartBlock.setBlockFlow(info, joinBlock);
     SubGraph conditionGraph = conditionBranch.graph;
     HIf branch = conditionGraph.end.last;
     assert(branch is HIf);
     branch.blockInformation = conditionStartBlock.blockFlow;
   }
 }