Standalone concrete type inference (not integrated in the compiler).

lib/compiler/implementation/types/types.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.
 
 #library('types');
 
 #import('../leg.dart');
 #import('../tree/tree.dart');
 #import('../elements/elements.dart');
 #import('../util/util.dart');
+#import('../scanner/scannerlib.dart');
+
+#source('concrete_types_inferrer.dart');
 
 /**
  * The types task infers guaranteed types globally.
  */
 class TypesTask extends CompilerTask {
   final String name = 'Type inference';
   final Set<Element> untypedElements;
   final Map<Element, Link<Element>> typedSends;
 
   TypesTask(Compiler compiler)
@@ skipping 203 matching lines @@
    * [:null:] if it gives up.
    */
   Element computeLub(Element a, Element b) {
     // Fast common case, but also simple initial implementation.
     if (a === b) return a;
 
     // TODO(ahe): Improve the following "computation"...
     return null;
   }
 }