Support new malformed types semantics.

sdk/lib/_internal/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.
 
 part of dart_backend;
 
 class LocalPlaceholder {
   final String identifier;
   final Set<Node> nodes;
   LocalPlaceholder(this.identifier) : nodes = new Set<Node>();
@@ skipping 292 matching lines @@
     nullNodes.add(node);
   }
 
   void makeElementPlaceholder(Node node, Element element) {
     assert(element != null);
     if (identical(element, entryFunction)) return;
     if (identical(element.getLibrary(), coreLibrary)) return;
     if (element.getLibrary().isPlatformLibrary && !element.isTopLevel()) {
       return;
     }
-    if (element == compiler.types.dynamicType.element) {
+    if (element == compiler.dynamicClass) {
       internalError(
           'Should never make element placeholder for dynamic type element',
           node: node);
     }
     elementNodes.putIfAbsent(element, () => new Set<Node>()).add(node);
   }
 
   void makePrivateIdentifier(Identifier node) {
     assert(node != null);
     privateNodes.putIfAbsent(
@@ skipping 34 matching lines @@
   }
 
   void unreachable() { internalError('Unreachable case'); }
 
   visit(Node node) => (node == null) ? null : node.accept(this);
 
   visitNode(Node node) { node.visitChildren(this); }  // We must go deeper.
 
   visitNewExpression(NewExpression node) {
     Send send = node.send;
-    InterfaceType type = treeElements.getType(node);
+    DartType type = treeElements.getType(node);
     assert(type != null);
     Element constructor = treeElements[send];
     assert(constructor != null);
     assert(send.receiver == null);
     if (!Elements.isErroneousElement(constructor)) {
       makeConstructorPlaceholder(node.send.selector, constructor, type);
       // TODO(smok): Should this be in visitNamedArgument?
       // Field names can be exposed as names of optional arguments, e.g.
       // class C {
       //   final field;
@@ skipping 95 matching lines @@
                typeDeclarationElement, node.typeName)) {
       return;
     }
     // We call [resolveReturnType] to allow having 'void'.
     final type = compiler.resolveReturnType(currentElement, node);
     if (type is InterfaceType || type is TypedefType) {
       // TODO(antonm): is there a better way to detect unresolved types?
       // Corner case: dart:core type with a prefix.
       // Most probably there are some additional problems with
       // coreLibPrefix.topLevels.
-      if (!identical(type.element, compiler.types.dynamicType.element)) {
+      if (!type.treatAsDynamic) {
         makeTypePlaceholder(node.typeName, type);
       } else {
         if (!isDynamicType(node)) makeUnresolvedPlaceholder(node.typeName);
       }
     }
     // Visit only type arguments, otherwise in case of lib.Class type
     // annotation typeName is Send and we go to visitGetterSend, as a result
     // "Class" is added to member placeholders.
     visit(node.typeArguments);
   }
@@ skipping 120 matching lines @@
 
   visitBlock(Block node) {
     for (Node statement in node.statements.nodes) {
       if (statement is VariableDefinitions) {
         makeVarDeclarationTypePlaceholder(statement);
       }
     }
     node.visitChildren(this);
   }
 }