Implement .getCallType

pkg/compiler/lib/src/ssa/types.dart

Index: pkg/compiler/lib/src/ssa/types.dart
diff --git a/pkg/compiler/lib/src/ssa/types.dart b/pkg/compiler/lib/src/ssa/types.dart
index 037d71f5356aec4633c5bd8bb341c7b63b6506b6..c7f2475ed1c69801026eec5cdf65dafbd0dc1649 100644
--- a/pkg/compiler/lib/src/ssa/types.dart
+++ b/pkg/compiler/lib/src/ssa/types.dart
@@ -3,7 +3,6 @@
 // BSD-style license that can be found in the LICENSE file.
 
 import '../common_elements.dart' show CommonElements;
-import '../elements/elements.dart';
 import '../elements/entities.dart';
 import '../native/native.dart' as native;
 import '../types/types.dart';
@@ -12,23 +11,19 @@ import '../world.dart' show ClosedWorld;
 
 class TypeMaskFactory {
   static TypeMask inferredReturnTypeForElement(
-      MethodElement element, GlobalTypeInferenceResults results) {
+      FunctionEntity element, GlobalTypeInferenceResults results) {
     return results.resultOfMember(element).returnType ??
         results.closedWorld.commonMasks.dynamicType;
   }
 
   static TypeMask inferredTypeForMember(
       MemberEntity element, GlobalTypeInferenceResults results) {
-    // TODO(redemption): Support inferred types for member entities.
-    if (element is! MemberElement) {
-      return results.closedWorld.commonMasks.dynamicType;
-    }
     return results.resultOfMember(element).type ??
         results.closedWorld.commonMasks.dynamicType;
   }
 
   static TypeMask inferredTypeForParameter(
-      ParameterElement element, GlobalTypeInferenceResults results) {
+      Local element, GlobalTypeInferenceResults results) {
     return results.resultOfParameter(element).type ??
         results.closedWorld.commonMasks.dynamicType;
   }