Handle variable declarations in inferrer

pkg/compiler/lib/src/inferrer/kernel_inferrer_engine.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 '../../compiler_new.dart';
 import '../closure.dart';
 import '../common.dart';
 import '../common_elements.dart';
@@ skipping 126 matching lines @@
   bool isFieldInitializerPotentiallyNull(
       FieldEntity field, ir.Node initializer) {
     // TODO(johnniwinther): Implement the ad-hoc check in ast inferrer?
     return true;
   }
 
   @override
   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();
   }
 
   @override
   FunctionEntity lookupCallMethod(ClassEntity cls) {
     throw new UnimplementedError('KernelInferrerEngine.lookupCallMethod');
   }
 
   @override
   ir.Node computeMemberBody(MemberEntity member) {
@@ skipping 117 matching lines @@
     failedAt(function, "Unexpected function definition $definition.");
   }
 
   @override
   ParameterTypeInformation createParameterTypeInformation(
       Local parameter, TypeSystem<ir.Node> types) {
     MemberEntity context = parameter.memberContext;
     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) {
       member = _elementMap.getMember(functionNode.parent);
     } else if (functionNode.parent is ir.FunctionExpression ||
         functionNode.parent is ir.FunctionDeclaration) {
       ClosureRepresentationInfo info =
           _closureDataLookup.getClosureInfo(functionNode.parent);
       member = info.callMethod;
       isClosure = true;
@@ skipping 33 matching lines @@
       ConstructorEntity constructor = member;
       if (constructor.isFactoryConstructor) {
         DartType type = _elementEnvironment.getFunctionType(constructor);
         return new FactoryConstructorTypeInformation(constructor, type);
       } else {
         return new GenerativeConstructorTypeInformation(constructor);
       }
     }
   }
 }