Implement CHA through type mask and TypedSelector in the simple type inferrer.

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

Index: sdk/lib/_internal/compiler/implementation/world.dart
===================================================================
--- sdk/lib/_internal/compiler/implementation/world.dart	(revision 19670)
+++ sdk/lib/_internal/compiler/implementation/world.dart	(working copy)
@@ -161,6 +161,14 @@
     return uses != null && !uses.isEmpty;
   }
 
+  bool hasAnySubclass(ClassElement cls) {
+    return subclasses[cls] != null && !subclasses[cls].isEmpty;

[kasperl, 2013/03/08 11:39:30]

Maybe avoid looking up in the hash map twice?

[ngeoffray, 2013/03/08 12:54:27]

Done.

+  }
+
+  bool hasAnySubtype(ClassElement cls) {
+    return subtypes[cls] != null && !subtypes[cls].isEmpty;

[kasperl, 2013/03/08 11:39:30]

Ditto.

[ngeoffray, 2013/03/08 12:54:27]

Done.

+  }
+
   void registerRtiDependency(Element element, Element dependency) {
     // We're not dealing with typedef for now.
     if (!element.isClass() || !dependency.isClass()) return;