Revert "Refactor how we read global-type-inference data from ssa"

pkg/compiler/lib/src/dump_info.dart

Index: pkg/compiler/lib/src/dump_info.dart
diff --git a/pkg/compiler/lib/src/dump_info.dart b/pkg/compiler/lib/src/dump_info.dart
index 6803b0532857c76525207e88b9159770bd69d9e7..d5314b053e02fa9769517e2deba63bef2ff3a47b 100644
--- a/pkg/compiler/lib/src/dump_info.dart
+++ b/pkg/compiler/lib/src/dump_info.dart
@@ -115,7 +115,8 @@ class ElementInfoCollector extends BaseElementVisitor<Info, dynamic> {
   }
 
   FieldInfo visitFieldElement(FieldElement element, _) {
-    TypeMask inferredType = compiler.globalInference.results.typeOf(element);
+    TypeMask inferredType =
+        compiler.globalInference.getGuaranteedTypeOfElement(element);
     // If a field has an empty inferred type it is never used.
     if (inferredType == null || inferredType.isEmpty) return null;
 
@@ -256,7 +257,7 @@ class ElementInfoCollector extends BaseElementVisitor<Info, dynamic> {
       signature.forEachParameter((parameter) {
         parameters.add(new ParameterInfo(
             parameter.name,
-            '${compiler.globalInference.results.typeOf(parameter)}',
+            '${compiler.globalInference.getGuaranteedTypeOfElement(parameter)}',
             '${parameter.node.type}'));
       });
     }
@@ -269,7 +270,7 @@ class ElementInfoCollector extends BaseElementVisitor<Info, dynamic> {
       returnType = '${element.type.returnType}';
     }
     String inferredReturnType =
-        '${compiler.globalInference.results.returnTypeOf(element)}';
+        '${compiler.globalInference.getGuaranteedReturnTypeOfElement(element)}';
     String sideEffects = '${compiler.world.getSideEffectsOfElement(element)}';
 
     int inlinedCount = compiler.dumpInfoTask.inlineCount[element];