Handle variable declarations in inferrer

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

Index: pkg/compiler/lib/src/inferrer/kernel_inferrer_engine.dart
diff --git a/pkg/compiler/lib/src/inferrer/kernel_inferrer_engine.dart b/pkg/compiler/lib/src/inferrer/kernel_inferrer_engine.dart
index 537076a5ee97cc7121d184c08d691a11b76f58b8..21dc8ec5febd9714aea9159227b132f695edc948 100644
--- a/pkg/compiler/lib/src/inferrer/kernel_inferrer_engine.dart
+++ b/pkg/compiler/lib/src/inferrer/kernel_inferrer_engine.dart
@@ -144,7 +144,14 @@ class KernelInferrerEngine extends InferrerEngineImpl<ir.Node> {
   TypeInformation computeMemberTypeInformation(
       MemberEntity member, ir.Node body) {
     KernelTypeGraphBuilder visitor = new KernelTypeGraphBuilder(
-        options, closedWorld, _closureDataLookup, this, member, body);
+        options,
+        closedWorld,
+        _closureDataLookup,
+        this,
+        member,
+        body,
+        _elementMap,
+        _globalLocalsMap.getLocalsMap(member));
     return visitor.run();
   }
 
@@ -282,8 +289,7 @@ class KernelTypeSystemStrategy implements TypeSystemStrategy<ir.Node> {
     KernelToLocalsMap localsMap = _globalLocalsMap.getLocalsMap(context);
     ir.FunctionNode functionNode =
         localsMap.getFunctionNodeForParameter(parameter);
-    DartType type =
-        _elementMap.getDartType(localsMap.getParameterType(parameter));
+    DartType type = localsMap.getLocalType(_elementMap, parameter);
     MemberEntity member;
     bool isClosure = false;
     if (functionNode.parent is ir.Member) {