Handle variable declarations in inferrer

pkg/compiler/lib/src/kernel/element_map.dart

 // Copyright (c) 2017, 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.
 
 import 'package:kernel/ast.dart' as ir;
 
 import '../closure.dart';
 import '../common.dart';
 import '../constants/values.dart';
 import '../common_elements.dart';
@@ skipping 385 matching lines @@
   /// gives the locals map permission to also look one scope higher within the
   /// class for the corresponding local. This can happen in the case of free
   /// variables involved with a closure class.
   // TODO(efortuna, johnniwinther): convey this information without a boolean
   // parameter.
   Local getLocalVariable(ir.VariableDeclaration node);
 
   /// Returns the [ir.FunctionNode] that declared [parameter].
   ir.FunctionNode getFunctionNodeForParameter(Local parameter);
 
-  /// Returns the [ir.DartType] of [parameter].
-  ir.DartType getParameterType(Local parameter);
+  /// Returns the [DartType] of [local].
+  DartType getLocalType(KernelToElementMap elementMap, Local local);
 
   /// Returns the [JumpTarget] for the break statement [node].
   JumpTarget getJumpTargetForBreak(ir.BreakStatement node);
 
   /// Returns `true` if [node] should generate a `continue` to its [JumpTarget].
   bool generateContinueForBreak(ir.BreakStatement node);
 
   /// Returns the [JumpTarget] defined by the labelled statement [node] or
   /// `null` if [node] is not a jump target.
   JumpTarget getJumpTargetForLabel(ir.LabeledStatement node);
@@ skipping 54 matching lines @@
       uri = Uri.parse(node.location.file);
       break;
     }
     node = node.parent;
   }
   if (uri != null) {
     return new SourceSpan(uri, offset, offset + 1);
   }
   return null;
 }