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

sdk/lib/_internal/compiler/implementation/js_backend/backend.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 js_backend;
 
 typedef void Recompile(Element element);
 
 class ReturnInfo {
   HType returnType;
@@ skipping 624 matching lines @@
       new Map<Element, jsAst.Expression>();
 
   ClassElement jsStringClass;
   ClassElement jsArrayClass;
   ClassElement jsNumberClass;
   ClassElement jsIntClass;
   ClassElement jsDoubleClass;
   ClassElement jsFunctionClass;
   ClassElement jsNullClass;
   ClassElement jsBoolClass;
+  ClassElement typeLiteralClass;
+  ClassElement mapLiteralClass;
   Element jsArrayLength;
   Element jsStringLength;
   Element jsArrayRemoveLast;
   Element jsArrayAdd;
   Element jsStringSplit;
   Element jsStringConcat;
   Element jsStringToString;
   Element getInterceptorMethod;
   Element interceptedNames;
   Element fixedLengthListConstructor;
@@ skipping 178 matching lines @@
     jsStringSplit = compiler.lookupElementIn(
         jsStringClass, const SourceString('split'));
     jsStringConcat = compiler.lookupElementIn(
         jsStringClass, const SourceString('concat'));
     jsStringToString = compiler.lookupElementIn(
         jsStringClass, const SourceString('toString'));
 
     for (ClassElement cls in classes) {
       if (cls != null) interceptedClasses.add(cls);
     }
+
+    typeLiteralClass = compiler.findHelper(const SourceString('TypeImpl'));
+    // TODO(ngeoffray): We have ConstantMap and
+    // LinkedHashMapImplementation for literal maps. We should somehow
+    // have the users of [mapLiteralClass] know.
+    mapLiteralClass =
+        compiler.coreLibrary.find(const SourceString('LinkedHashMap'));
   }
 
   void addInterceptors(ClassElement cls, Enqueuer enqueuer) {
     if (enqueuer.isResolutionQueue) {
       cls.ensureResolved(compiler);
       cls.forEachMember((ClassElement classElement, Element member) {
           Set<Element> set = interceptedElements.putIfAbsent(
               member.name, () => new Set<Element>());
           set.add(member);
         },
@@ skipping 46 matching lines @@
         enqueuer.registerStaticUse(
             compiler.findHelper(const SourceString('ioore')));
         enqueuer.registerStaticUse(
             compiler.findHelper(const SourceString('iae')));
       } else if (cls == compiler.functionClass) {
         enqueuer.registerInstantiatedClass(compiler.closureClass);
       } else if (cls == compiler.mapClass) {
         // The backend will use a literal list to initialize the entries
         // of the map.
         enqueuer.registerInstantiatedClass(compiler.listClass);
-        enqueuer.registerInstantiatedClass(compiler.mapLiteralClass);
+        enqueuer.registerInstantiatedClass(mapLiteralClass);
         enqueueInResolution(getMapMaker());
       }
     }
     ClassElement result = null;
     if (cls == compiler.stringClass) {
       addInterceptors(jsStringClass, enqueuer);
     } else if (cls == compiler.listClass) {
       addInterceptors(jsArrayClass, enqueuer);
     } else if (cls == compiler.intClass) {
       addInterceptors(jsIntClass, enqueuer);
@@ skipping 586 matching lines @@
   void eagerRecompile(Element element) {
     assert(invariant(element, element.isDeclaration));
     generatedCode.remove(element);
     generatedBailoutCode.remove(element);
     compiler.enqueuer.codegen.addToWorkList(element);
   }
 
   bool isNullImplementation(ClassElement cls) {
     return cls == jsNullClass;
   }
+
+  ClassElement get intImplementation => jsIntClass;
+  ClassElement get doubleImplementation => jsDoubleClass;
+  ClassElement get numImplementation => jsNumberClass;
+  ClassElement get stringImplementation => jsStringClass;
+  ClassElement get listImplementation => jsArrayClass;
+  ClassElement get mapImplementation => mapLiteralClass;
+  ClassElement get functionImplementation => jsFunctionClass;
+  ClassElement get typeImplementation => typeLiteralClass;
+  ClassElement get boolImplementation => jsBoolClass;
+  ClassElement get nullImplementation => jsNullClass;
 }