Properly process dart:core classes if dart:core is imported with prefix.

lib/compiler/implementation/dart_backend/placeholder_collector.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 LocalPlaceholder implements Hashable {
   final String identifier;
   final Set<Node> nodes;
   LocalPlaceholder(this.identifier) : nodes = new Set<Node>();
   int hashCode() => identifier.hashCode();
   String toString() =>
@@ skipping 417 matching lines @@
       typeDeclarationElement = currentElement.getEnclosingClass();
     }
     if (typeDeclarationElement !== null && isPlainTypeName(node)
         && tryResolveAndCollectTypeVariable(
                typeDeclarationElement, node.typeName)) {
       return;
     }
     // We call [resolveReturnType] to allow having 'void'.    
     final type = compiler.resolveReturnType(currentElement, node);
     if (type is InterfaceType || type is TypedefType) {
-      var target = node.typeName;
+      Node target = node.typeName;
+      bool hasPrefix = false;
       if (node.typeName is Send) {
         final element = treeElements[node];
         if (element !== null) {
           final send = node.typeName.asSend();
           Identifier receiver = send.receiver;
           Identifier selector = send.selector;
-          hasPrefix() {
-            if (element is TypedefElement) return true;
-            ClassElement classElement = element;
-            final constructor = classElement.lookupConstructor(
-                receiver.source, selector.source);
-            return constructor === null;
-          }
-          if (!hasPrefix()) target = send.receiver;
+          getConstructor() =>
+              (element as ClassElement).lookupConstructor(
+                  receiver.source, selector.source);
+          hasPrefix = (element is TypedefElement) || getConstructor() === null;
+          if (!hasPrefix) target = receiver;
         }
       }
       // TODO(antonm): is there a better way to detect unresolved types?
       if (type.element !== compiler.types.dynamicType.element) {

[Roman, 2012/09/24 09:32:53]

please add a comment about mycore.Dynamic, mycore.print

[Anton Muhin, 2012/09/24 10:09:37]

Done.

-        makeTypePlaceholder(target, type);
+        // Corner case: dart:core type with a prefix.
+        if (type.element.getLibrary() === coreLibrary && hasPrefix) {
+          makeNullPlaceholder(node.typeName.receiver);
+        } else {
+          makeTypePlaceholder(target, type);
+        }
       } else {
         if (!isDynamicType(node)) makeUnresolvedPlaceholder(target);
       }
     }
     node.visitChildren(this);
   }
 
   visitVariableDefinitions(VariableDefinitions node) {
     // Collect only local placeholders.
     for (Node definition in node.definitions.nodes) {
@@ skipping 126 matching lines @@
 
   visitBlock(Block node) {
     for (Node statement in node.statements.nodes) {
       if (statement is VariableDefinitions) {
         makeVarDeclarationTypePlaceholder(statement);
       }
     }
     node.visitChildren(this);
   }
 }