Collect the types used in is-checks in the resolver phase.

lib/compiler/implementation/compiler.dart

Index: lib/compiler/implementation/compiler.dart
diff --git a/lib/compiler/implementation/compiler.dart b/lib/compiler/implementation/compiler.dart
index 23797006b1f4a05d250d98e8961a7876c762c991..c318516b6c37b673758aeac1324b52df9d8c2022 100644
--- a/lib/compiler/implementation/compiler.dart
+++ b/lib/compiler/implementation/compiler.dart
@@ -359,9 +359,6 @@ class Compiler implements DiagnosticListener {
     assertMethod = coreLibrary.find(const SourceString('assert'));
 
     initializeSpecialClasses();
-
-    //patchDartLibrary(coreLibrary, 'core');
-    //patchDartLibrary(coreImplLibrary, 'coreimpl');
   }
 
   void importCoreLibrary(LibraryElement library) {
@@ -548,6 +545,10 @@ class Compiler implements DiagnosticListener {
     log('Inferring types...');
     typesTask.onResolutionComplete();
 
+    enqueuer.codegen.universe.computeRequiredTypes(

[ngeoffray, 2012/08/30 13:17:46]

Why is that here? The computation should be done on the codegen universe, and
once all methods have been compiled (ie just before we enter emitting).

[karlklose, 2012/09/05 09:36:01]

Done.

+        enqueuer.resolution.universe.isChecks,
+        enqueuer.resolution.universe.instantiatedClasses);
+
     // TODO(ahe): Remove this line. Eventually, enqueuer.resolution
     // should know this.
     world.populate(this);