Add types referenced in is-checks to the class hierarchy

pkg/compiler/lib/src/universe/resolution_world_builder.dart

Index: pkg/compiler/lib/src/universe/resolution_world_builder.dart
diff --git a/pkg/compiler/lib/src/universe/resolution_world_builder.dart b/pkg/compiler/lib/src/universe/resolution_world_builder.dart
index a2b023590561949a2a8f0be4a6b67f45f9ccd1cf..0692c81402718fab0b89dd70e2b26cb9c0f8fced 100644
--- a/pkg/compiler/lib/src/universe/resolution_world_builder.dart
+++ b/pkg/compiler/lib/src/universe/resolution_world_builder.dart
@@ -944,6 +944,16 @@ abstract class ResolutionWorldBuilderBase
     // variables to the super constructor.
     forEachInstantiatedClass(addSubtypes);
 
+    void _registerType(DartType type) {

[Johnni Winther, 2017/09/01 08:21:34]

We probably need to visit function types and typedefs as well. Implement this as
a DartTypeVisitor instead of a recusive function.

[Harry Terkelsen, 2017/09/01 18:48:24]

Done.

+      if (type.isInterfaceType) {
+        InterfaceType interface = type;
+        _ensureClassSet(interface.element);
+        interface.typeArguments.forEach(_registerType);
+      }
+    }
+
+    isChecks.forEach(_registerType);
+
     _classHierarchyNodes.keys.toList().forEach(_ensureClassSet);
 
     return typesImplementedBySubclasses;