Use entities in ParameterTypeInformation

pkg/compiler/lib/src/inferrer/type_system.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 '../common.dart';
 import '../elements/elements.dart';
 import '../elements/entities.dart';
 import '../elements/types.dart';
 import '../tree/nodes.dart' as ast;
 import '../types/masks.dart';
@@ skipping 327 matching lines @@
 
   ParameterTypeInformation getInferredTypeOfParameter(
       ParameterElement parameter) {
     parameter = parameter.implementation;
 
     ParameterTypeInformation createTypeInformation() {
       if (parameter.functionDeclaration.isLocal) {
         LocalFunctionElement localFunction = parameter.functionDeclaration;
         MethodElement callMethod = localFunction.callMethod;
         return new ParameterTypeInformation.localFunction(
-            getInferredTypeOfMember(callMethod), parameter, callMethod);
+            getInferredTypeOfMember(callMethod),
+            parameter,
+            parameter.type,
+            callMethod);
       } else if (parameter.functionDeclaration.isInstanceMember) {
         MethodElement method = parameter.functionDeclaration;
         return new ParameterTypeInformation.instanceMember(
             getInferredTypeOfMember(method),
             parameter,
+            parameter.type,
             method,
             new ParameterAssignments());
       } else {
         MethodElement method = parameter.functionDeclaration;
         return new ParameterTypeInformation.static(
-            getInferredTypeOfMember(method), parameter, method);
+            getInferredTypeOfMember(method), parameter, parameter.type, method,
+            // TODO(johnniwinther): Is this still valid now that initializing
+            // formals also introduce locals?
+            isInitializingFormal: parameter.isInitializingFormal);
       }
     }
 
     return parameterTypeInformations.putIfAbsent(parameter, () {
       ParameterTypeInformation typeInformation = createTypeInformation();
       _orderedTypeInformations.add(typeInformation);
       return typeInformation;
     });
   }
 
@@ skipping 254 matching lines @@
     TypeMask newType = null;
     for (TypeMask mask in list) {
       newType = newType == null ? mask : newType.union(mask, closedWorld);
       // Likewise - stop early if we already reach dynamic.
       if (newType.containsAll(closedWorld)) return dynamicType;
     }
 
     return newType ?? const TypeMask.nonNullEmpty();
   }
 }