Remove use of Compiler in inferrer engines.

pkg/compiler/lib/src/inferrer/node_tracer.dart

 // Copyright (c) 2013, 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.
 
 library compiler.src.inferrer.node_tracer;
 
 import '../common/names.dart' show Identifiers;
-import '../compiler.dart' show Compiler;
 import '../elements/elements.dart';
 import '../elements/entities.dart';
 import '../types/types.dart' show ContainerTypeMask, MapTypeMask;
 import '../util/util.dart' show Setlet;
 import 'debug.dart' as debug;
 import 'inferrer_engine.dart';
 import 'type_graph_nodes.dart';
 
 // A set of selectors we know do not escape the elements inside the
 // list.
@@ skipping 50 matching lines @@
   'containsValue',
   '[]=',
   // [keys] only allows key values to escape, which we do not track.
   'keys'
 ]);
 
 /// Common logic to trace a value through the type inference graph nodes.
 abstract class TracerVisitor implements TypeInformationVisitor {
   final TypeInformation tracedType;
   final InferrerEngine inferrer;
-  final Compiler compiler;
 
   static const int MAX_ANALYSIS_COUNT =
       const int.fromEnvironment('dart2js.tracing.limit', defaultValue: 32);
   final Setlet<MemberEntity> analyzedElements = new Setlet<MemberEntity>();
 
-  TracerVisitor(this.tracedType, InferrerEngine inferrer)
-      : this.inferrer = inferrer,
-        this.compiler = inferrer.compiler;
+  TracerVisitor(this.tracedType, this.inferrer);
 
   // Work list that gets populated with [TypeInformation] that could
   // contain the container.
   final List<TypeInformation> workList = <TypeInformation>[];
 
   // Work list of lists to analyze after analyzing the users of a
   // [TypeInformation]. We know the [tracedType] has been stored in these
   // lists and we must check how it escapes from these lists.
   final List<ListTypeInformation> listsToAnalyze = <ListTypeInformation>[];
   // Work list of maps to analyze after analyzing the users of a
@@ skipping 349 matching lines @@
   }
 
   void visitMemberTypeInformation(MemberTypeInformation info) {
     if (info.isClosurized) {
       bailout('Returned from a closurized method');
     }
     if (isClosure(info.member)) {
       bailout('Returned from a closure');
     }
     if (info.member.isField &&
-        !inferrer.compiler.backend.canFieldBeUsedForGlobalOptimizations(
-            info.member, inferrer.closedWorld)) {
+        !inferrer.canFieldBeUsedForGlobalOptimizations(info.member)) {
       bailout('Escape to code that has special backend treatment');
     }
     addNewEscapeInformation(info);
   }
 
   void visitParameterTypeInformation(ParameterTypeInformation info) {
     if (inferrer.closedWorld.nativeData.isNativeMember(info.method)) {
       bailout('Passed to a native method');
     }
-    if (!inferrer.compiler.backend
-        .canFunctionParametersBeUsedForGlobalOptimizations(
-            info.method, inferrer.closedWorld)) {
+    if (!inferrer
+        .canFunctionParametersBeUsedForGlobalOptimizations(info.method)) {
       bailout('Escape to code that has special backend treatment');
     }
     if (isParameterOfListAddingMethod(info.parameter) ||
         isParameterOfMapAddingMethod(info.parameter)) {
       // These elements are being handled in
       // [visitDynamicCallSiteTypeInformation].
       return;
     }
     addNewEscapeInformation(info);
   }
 }