Towards compiling Hello World!

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 9ebbc552ae4aece8bb82bfbaf856baa38f01aa01..29cc9ab598c43fcc9710f78e1eab0ea0d5c1452c 100644
--- a/pkg/compiler/lib/src/ssa/types.dart
+++ b/pkg/compiler/lib/src/ssa/types.dart
@@ -4,6 +4,7 @@
 
 import '../common_elements.dart' show CommonElements;
 import '../elements/elements.dart';
+import '../elements/entities.dart';
 import '../native/native.dart' as native;
 import '../types/types.dart';
 import '../universe/selector.dart' show Selector;
@@ -17,7 +18,11 @@ class TypeMaskFactory {
   }
 
   static TypeMask inferredTypeForMember(
-      MemberElement element, GlobalTypeInferenceResults results) {
+      MemberEntity element, GlobalTypeInferenceResults results) {
+    // TODO(johnniwinther): Support inferred types for member entities.
+    if (element is! MemberElement) {

[Siggi Cherem (dart-lang), 2017/06/15 17:55:16]

I thought we had an underlying results object for kernel thatjust always returns
dynamic for `resultOfMember`, or we don't have that yet?

[Johnni Winther, 2017/06/16 08:14:23]

We have (KernelToTypeInferenceMap), but we call this directly in other places.

+      return results.closedWorld.commonMasks.dynamicType;
+    }
     return results.resultOfMember(element).type ??
         results.closedWorld.commonMasks.dynamicType;
   }