Use entities internally in MemberTypeInformation

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 354 matching lines @@
       _orderedTypeInformations.add(typeInformation);
       return typeInformation;
     });
   }
 
   MemberTypeInformation getInferredTypeOfMember(MemberElement member) {
     member = member.implementation;
     return memberTypeInformations.putIfAbsent(member, () {
       MemberTypeInformation typeInformation;
       if (member.isField) {
-        typeInformation = new FieldTypeInformation(member);
+        FieldElement field = member;
+        typeInformation = new FieldTypeInformation(field, field.type);
       } else if (member.isGetter) {
-        typeInformation = new GetterTypeInformation(member);
+        GetterElement getter = member;
+        typeInformation = new GetterTypeInformation(getter, getter.type);
       } else if (member.isSetter) {
-        typeInformation = new SetterTypeInformation(member);
+        SetterElement setter = member;
+        typeInformation = new SetterTypeInformation(setter);
       } else if (member.isFunction) {
-        typeInformation = new MethodTypeInformation(member);
+        MethodElement method = member;
+        typeInformation = new MethodTypeInformation(method, method.type);
       } else {
         ConstructorElement constructor = member;
         if (constructor.isFactoryConstructor) {
-          typeInformation = new FactoryConstructorTypeInformation(member);
+          typeInformation = new FactoryConstructorTypeInformation(
+              constructor, constructor.type);
         } else {
-          typeInformation = new GenerativeConstructorTypeInformation(member);
+          typeInformation =
+              new GenerativeConstructorTypeInformation(constructor);
         }
       }
       _orderedTypeInformations.add(typeInformation);
       return typeInformation;
     });
   }
 
   /**
    * Returns the internal inferrer representation for [mask].
    */
@@ skipping 220 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();
   }
 }