Add a type kind to TypedSelector. A typed selector can either be

sdk/lib/_internal/compiler/implementation/ssa/codegen.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 ssa;
 
 class SsaCodeGeneratorTask extends CompilerTask {
 
   final JavaScriptBackend backend;
 
@@ skipping 1549 matching lines @@
                                    Selector defaultSelector) {
     // If [JSInvocationMirror.invokeOn] has been called, we must not create a
     // typed selector based on the receiver type.
     if (node.element == null && // Invocation is not exact.
         backend.compiler.enabledInvokeOn) {
       return defaultSelector;
     }
     int receiverIndex = node.isInterceptorCall ? 1 : 0;
     HType receiverHType = types[node.inputs[receiverIndex]];
     DartType receiverType = receiverHType.computeType(compiler);
-    if (receiverType != null &&
-        !identical(receiverType.kind, TypeKind.MALFORMED_TYPE)) {
-      return new TypedSelector(receiverType, defaultSelector);
+    if (receiverType != null && !receiverType.isMalformed) {
+      TypedSelector optimizedSelector;
+      if (receiverHType.isExact()) {
+        optimizedSelector = new TypedSelector.exact(

[kasperl, 2013/02/11 13:11:50]

How about just returning it here and get rid of the optimizedSelector local?

[ngeoffray, 2013/02/11 14:20:29]

Done.

+            receiverType, defaultSelector);
+      } else if (receiverHType.isInterfaceType()) {
+        optimizedSelector = new TypedSelector.subtype(
+            receiverType, defaultSelector);
+      } else {
+        optimizedSelector = new TypedSelector.subclass(
+            receiverType, defaultSelector);
+      }
+      return optimizedSelector;
     } else {
       return defaultSelector;
     }
   }
 
   void registerInvoke(HInvokeDynamic node) {
     bool inLoop = node.block.enclosingLoopHeader != null;
     SourceString name = node.selector.name;
     if (inLoop) {
       Element target = node.element;
@@ skipping 1414 matching lines @@
   if (leftType.canBeNull() && rightType.canBeNull()) {
     if (left.isConstantNull() || right.isConstantNull() ||
         (leftType.isPrimitive() && leftType == rightType)) {
       return '==';
     }
     return null;
   } else {
     return '===';
   }
 }