Use entities in ParameterTypeInformation

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

Index: pkg/compiler/lib/src/inferrer/type_system.dart
diff --git a/pkg/compiler/lib/src/inferrer/type_system.dart b/pkg/compiler/lib/src/inferrer/type_system.dart
index debbb4de1776847dd94a0c403f55d661ca7dae86..74f42cd74e23751bf14f0aea09fc9b4db44af3ba 100644
--- a/pkg/compiler/lib/src/inferrer/type_system.dart
+++ b/pkg/compiler/lib/src/inferrer/type_system.dart
@@ -345,18 +345,25 @@ class TypeSystem {
         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);
       }
     }