Rename Type to DartType to avoid conflicts with the class Type in the core library.

lib/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.
 
 interface OptimizationPhase {
   String get name();
   void visitGraph(HGraph graph);
 }
 
 class SsaOptimizerTask extends CompilerTask {
@@ skipping 137 matching lines @@
   HInstruction visitInstruction(HInstruction node) {
     return node;
   }
 
   HInstruction visitBoolify(HBoolify node) {
     List<HInstruction> inputs = node.inputs;
     assert(inputs.length == 1);
     HInstruction input = inputs[0];
     if (input.isBoolean(types)) return input;
     // All values !== true are boolified to false.
-    Type type = types[input].computeType(compiler);
+    DartType type = types[input].computeType(compiler);
     if (type !== null && type.element !== compiler.boolClass) {
       return graph.addConstantBool(false);
     }
     return node;
   }
 
   HInstruction visitNot(HNot node) {
     List<HInstruction> inputs = node.inputs;
     assert(inputs.length == 1);
     HInstruction input = inputs[0];
@@ skipping 315 matching lines @@
   HInstruction visitTypeGuard(HTypeGuard node) {
     HInstruction value = node.guarded;
     // If the intersection of the types is still the incoming type then
     // the incoming type was a subtype of the guarded type, and no check
     // is required.
     HType combinedType = types[value].intersection(node.guardedType);
     return (combinedType == types[value]) ? value : node;
   }
 
   HInstruction visitIs(HIs node) {
-    Type type = node.typeExpression;
+    DartType type = node.typeExpression;
     Element element = type.element;
     if (element.kind === ElementKind.TYPE_VARIABLE) {
       compiler.unimplemented("visitIs for type variables");
     }
 
     HType expressionType = types[node.expression];
     if (element === compiler.objectClass
         || element === compiler.dynamicClass) {
       return graph.addConstantBool(true);
     } else if (expressionType.isInteger()) {
@@ skipping 34 matching lines @@
       if (element === compiler.listClass
           || Elements.isListSupertype(element, compiler)) {
         return graph.addConstantBool(true);
       } else {
         return graph.addConstantBool(false);
       }
     // TODO(karlklose): remove the hasTypeArguments check.
     } else if (expressionType.isUseful()
                && !expressionType.canBeNull()
                && !compiler.codegenWorld.rti.hasTypeArguments(type)) {
-      Type receiverType = expressionType.computeType(compiler);
+      DartType receiverType = expressionType.computeType(compiler);
       if (receiverType !== null) {
         if (compiler.types.isSubtype(receiverType, type)) {
           return graph.addConstantBool(true);
         } else if (expressionType.isExact()) {
           return graph.addConstantBool(false);
         }
       }
     }
     return node;
   }
 
   HInstruction visitTypeConversion(HTypeConversion node) {
     HInstruction value = node.inputs[0];
-    Type type = types[node].computeType(compiler);
+    DartType type = types[node].computeType(compiler);
     if (type.element === compiler.dynamicClass
         || type.element === compiler.objectClass) {
       return value;
     }
     HType combinedType = types[value].intersection(types[node]);
     return (combinedType == types[value]) ? value : node;
   }
 
   Element findConcreteFieldForDynamicAccess(HInstruction receiver,
                                             Selector selector) {
     HType receiverType = types[receiver];
     if (!receiverType.isUseful()) return null;
     if (receiverType.canBeNull()) return null;
-    Type type = receiverType.computeType(compiler);
+    DartType type = receiverType.computeType(compiler);
     if (type === null) return null;
     return compiler.world.locateSingleField(type, selector);
   }
 
   HInstruction visitInvokeDynamicGetter(HInvokeDynamicGetter node) {
     Element field =
         findConcreteFieldForDynamicAccess(node.receiver, node.selector);
     if (field == null) return node;
 
     Modifiers modifiers = field.modifiers;
@@ skipping 739 matching lines @@
       // this type for the field is still a strong signal
       // indicating the expected type of the field.
       types[field] = type;
     } else {
       // If there are no invoked setters we know the type of
       // this field for sure.
       field.guaranteedType = type;
     }
   }
 }