Add DartTypes to abstract Types.

pkg/compiler/lib/src/dart_backend/backend.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;
 
 // TODO(ahe): This class is simply wrong.  This backend should use
 // elements when it can, not AST nodes.  Perhaps a [Map<Element,
 // TreeElements>] is what is needed.
 class ElementAst {
@@ skipping 112 matching lines @@
     // we don't trust the resolution to always get these included.
     world.registerInvocation(new Selector.call("toString", null, 0));
     world.registerInvokedGetter(new Selector.getter("hashCode", null));
     world.registerInvocation(new Selector.binaryOperator("=="));
     world.registerInvocation(new Selector.call("compareTo", null, 1));
   }
 
   void codegen(CodegenWorkItem work) { }
 
   /// Create an [ElementAst] from the CPS IR.
-  static ElementAst createElementAst(Compiler compiler,
+  static ElementAst createElementAst(
+       Compiler compiler,
        Tracer tracer,
        ConstantSystem constantSystem,
        Element element,
        cps_ir.ExecutableDefinition cpsDefinition) {
     // Transformations on the CPS IR.
     if (tracer != null) {
       tracer.traceCompilation(element.name, null);
     }
 
     void traceGraph(String title, var irObject) {
       if (tracer != null) {
         tracer.traceGraph(title, irObject);
       }
     }
 
     // TODO(karlklose): enable type propagation for dart2dart when constant
     // types are correctly marked as instantiated (Issue 21880).
-    new TypePropagator(compiler, constantSystem, new UnitTypeSystem(),
+    new TypePropagator(compiler.types, constantSystem, new UnitTypeSystem(),
         compiler.internalError).rewrite(cpsDefinition);
     traceGraph("Sparse constant propagation", cpsDefinition);
     new RedundantPhiEliminator().rewrite(cpsDefinition);
     traceGraph("Redundant phi elimination", cpsDefinition);
     new ShrinkingReducer().rewrite(cpsDefinition);
     traceGraph("Shrinking reductions", cpsDefinition);
 
     // Do not rewrite the IR after variable allocation.  Allocation
     // makes decisions based on an approximation of IR variable live
     // ranges that can be invalidated by transforming the IR.
     new cps_ir.RegisterAllocator().visit(cpsDefinition);
 
-    tree_builder.Builder builder =
-        new tree_builder.Builder(new Glue(compiler), compiler);
+    tree_builder.Builder builder = new tree_builder.Builder(
+        new Glue(compiler), compiler.internalError, compiler.identicalFunction);
     tree_ir.ExecutableDefinition treeDefinition = builder.build(cpsDefinition);
     assert(treeDefinition != null);
     traceGraph('Tree builder', treeDefinition);
 
     // Transformations on the Tree IR.
     new StatementRewriter().rewrite(treeDefinition);
     traceGraph('Statement rewriter', treeDefinition);
     new CopyPropagator().rewrite(treeDefinition);
     traceGraph('Copy propagation', treeDefinition);
     new LoopRewriter().rewrite(treeDefinition);
@@ skipping 344 matching lines @@
   }
 
   ConstantExpression compileMetadata(MetadataAnnotation metadata,
                            Node node,
                            TreeElements elements) {
     return measure(() {
       return constantCompiler.compileMetadata(metadata, node, elements);
     });
   }
 }