Implement is-checks against type variables.

sdk/lib/_internal/compiler/implementation/enqueue.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of dart2js;
 
 class EnqueueTask extends CompilerTask {
   final ResolutionEnqueuer resolution;
   final CodegenEnqueuer codegen;
 
@@ skipping 43 matching lines @@
    * Documentation wanted -- johnniwinther
    *
    * Invariant: [element] must be a declaration element.
    */
   void addToWorkList(Element element, [TreeElements elements]) {
     assert(invariant(element, element.isDeclaration));
     if (element.isForeign(compiler)) return;
 
     if (!addElementToWorkList(element, elements)) return;
 
+    if (element.isFactoryConstructor()) {
+      ClassElement cls = element.getEnclosingClass();
+      // For factories (and instantiations of [List]), the target is abstract.
+      // Since we may need the type arguments for constructing the instance,
+      // we register the class to be added to the classes needing rti.
+      compiler.world.registerUsedFactoriesOfAbstractClasses(cls);
+      compiler.backend.registerSetRuntimeType();

[ngeoffray, 2013/02/27 12:36:28]

This (registerSetRuntimeType) should be done elsewhere, when we realize the type
arguments are actually needed.

[karlklose, 2013/02/27 16:11:32]

Obsolete.

+    }
+
     // Enable runtime type support if we discover a getter called runtimeType.
     // We have to enable runtime type before hitting the codegen, so
     // that constructors know whether they need to generate code for
     // runtime type.
     if (element.isGetter() && element.name == Compiler.RUNTIME_TYPE) {
       compiler.enabledRuntimeType = true;
       compiler.backend.registerRuntimeType();
     } else if (element == compiler.functionApplyMethod) {
       compiler.enabledFunctionApply = true;
     } else if (element == compiler.invokeOnMethod) {
       compiler.enabledInvokeOn = true;
     }
 
     nativeEnqueuer.registerElement(element);
   }
 
   /**
    * Adds [element] to the work list if it has not already been processed.
    *
    * Returns [:true:] if the [element] should be processed.
    */
   // TODO(johnniwinther): Change to 'Returns true if the element was added to
   // the work list'?
   bool addElementToWorkList(Element element, [TreeElements elements]);
 
+  void registerInstantiatedType(InterfaceType type) {
+    universe.instantiatedTypes.add(type);
+    registerInstantiatedClass(type.element);
+  }
+
   void registerInstantiatedClass(ClassElement cls) {
     if (universe.instantiatedClasses.contains(cls)) return;
     if (!cls.isAbstract(compiler)) {
       universe.instantiatedClasses.add(cls);
       onRegisterInstantiatedClass(cls);
     }
     compiler.backend.registerInstantiatedClass(cls, this);
   }
 
   bool checkNoEnqueuedInvokedInstanceMethods() {
@@ skipping 430 matching lines @@
     while(!queue.isEmpty) {
       // TODO(johnniwinther): Find an optimal process order for codegen.
       f(queue.removeLast());
     }
   }
 
   void _logSpecificSummary(log(message)) {
     log('Compiled ${generatedCode.length} methods.');
   }
 }