Handle variable declarations in inferrer

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

Index: pkg/compiler/lib/src/kernel/element_map.dart
diff --git a/pkg/compiler/lib/src/kernel/element_map.dart b/pkg/compiler/lib/src/kernel/element_map.dart
index 27f83a540dd23dbdfffd84fa672c30c5cac042c8..f539ed3a918d922eb039fe718966ee6100d35f2b 100644
--- a/pkg/compiler/lib/src/kernel/element_map.dart
+++ b/pkg/compiler/lib/src/kernel/element_map.dart
@@ -403,8 +403,8 @@ abstract class KernelToLocalsMap {
   /// 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);