Split inference type-info accessors into members, parameters and local functions

pkg/compiler/lib/src/inferrer/locals_handler.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 locals_handler;
 
 import 'dart:collection' show IterableMixin;
 
 import '../options.dart' show CompilerOptions;
 import '../elements/elements.dart';
@@ skipping 282 matching lines @@
         fieldScope = new FieldInitializationScope.from(other.fieldScope),
         captured = other.captured,
         capturedAndBoxed = other.capturedAndBoxed,
         tryBlock = other.tryBlock,
         types = other.types,
         inferrer = other.inferrer,
         options = other.options;
 
   TypeInformation use(Local local) {
     if (capturedAndBoxed.containsKey(local)) {
-      return inferrer.typeOfElement(capturedAndBoxed[local]);
+      FieldElement field = capturedAndBoxed[local];
+      return inferrer.typeOfMember(field);
     } else {
       if (captured.containsKey(local)) {
         inferrer.recordCapturedLocalRead(local);
       }
       return locals[local];
     }
   }
 
   void update(LocalElement local, TypeInformation type, Node node) {
     assert(type != null);
@@ skipping 13 matching lines @@
                 locals.block, local, types.narrowNotNull(currentType)),
             type);
       }
       locals[local] = type;
       if (currentType != type) {
         inferrer.recordLocalUpdate(local, type);
       }
     }
 
     if (capturedAndBoxed.containsKey(local)) {
-      inferrer.recordTypeOfNonFinalField(node, capturedAndBoxed[local], type);
+      inferrer.recordTypeOfNonFinalField(capturedAndBoxed[local], type);
     } else if (inTryBlock) {
       // We don'TypeInformation know if an assignment in a try block
       // will be executed, so all assignments in that block are
       // potential types after we have left it. We update the parent
       // of the try block so that, at exit of the try block, we get
       // the right phi for it.
       TypeInformation existing = tryBlock.locals.parent[local];
       if (existing != null) {
         TypeInformation phiType =
             types.allocatePhi(tryBlock.locals.block, local, existing);
@@ skipping 196 matching lines @@
       if (newType != type) {
         locals[variable] = newType;
       }
     });
   }
 
   void updateField(Element element, TypeInformation type) {
     fieldScope.updateField(element, type);
   }
 }