Remove element from DynamicType.

sdk/lib/_internal/compiler/implementation/ssa/optimize.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 ssa;
 
 abstract class OptimizationPhase {
   String get name;
   void visitGraph(HGraph graph);
 }
@@ skipping 559 matching lines @@
     simplifyCondition(node.elseBlock, condition, isNegated);
     return node;
   }
 
   HInstruction visitIs(HIs node) {
     DartType type = node.typeExpression;
     Element element = type.element;
 
     if (!node.isRawCheck) {
       return node;
-    } else if (element.isTypedef) {
+    } else if (type.isTypedef) {
       return node;
     } else if (element == compiler.functionClass) {
       return node;
     }
 
     if (element == compiler.objectClass || type.treatAsDynamic) {
       return graph.addConstantBool(true, compiler);
     }
 
     HInstruction expression = node.expression;
@@ skipping 48 matching lines @@
         return graph.addConstantBool(false, compiler);
       }
     }
     return node;
   }
 
   HInstruction visitTypeConversion(HTypeConversion node) {
     HInstruction value = node.inputs[0];
     DartType type = node.typeExpression;
     if (type != null) {
-      if (type.kind == TypeKind.MALFORMED_TYPE) {
+      if (type.isMalformed) {
         // Malformed types are treated as dynamic statically, but should
         // throw a type error at runtime.
         return node;
       }
-      if (!type.treatAsRaw || type.kind == TypeKind.TYPE_VARIABLE) {
+      if (!type.treatAsRaw || type.isTypeVariable) {
         return node;
       }
-      if (type.kind == TypeKind.FUNCTION) {
+      if (type.isFunctionType) {
         // TODO(johnniwinther): Optimize function type conversions.
         return node;
       }
     }
     return removeIfCheckAlwaysSucceeds(node, node.checkedType);
   }
 
   HInstruction visitTypeKnown(HTypeKnown node) {
     return removeIfCheckAlwaysSucceeds(node, node.knownType);
   }
@@ skipping 95 matching lines @@
     HInstruction receiver = node.getDartReceiver(compiler);
     VariableElement field =
         findConcreteFieldForDynamicAccess(receiver, node.selector);
     if (field == null || !field.isAssignable) return node;
     // Use [:node.inputs.last:] in case the call follows the
     // interceptor calling convention, but is not a call on an
     // interceptor.
     HInstruction value = node.inputs.last;
     if (compiler.enableTypeAssertions) {
       DartType type = field.type;
-      if (!type.treatAsRaw || type.kind == TypeKind.TYPE_VARIABLE) {
+      if (!type.treatAsRaw || type.isTypeVariable) {
         // We cannot generate the correct type representation here, so don't
         // inline this access.
         return node;
       }
       HInstruction other = value.convertType(
           compiler,
           type,
           HTypeConversion.CHECKED_MODE_CHECK);
       if (other != value) {
         node.block.addBefore(node, other);
@@ skipping 1331 matching lines @@
 
     keyedValues.forEach((receiver, values) {
       result.keyedValues[receiver] =
           new Map<HInstruction, HInstruction>.from(values);
     });
 
     result.nonEscapingReceivers.addAll(nonEscapingReceivers);
     return result;
   }
 }