Introduce initial plumbing for type inference in fasta.

pkg/front_end/lib/src/fasta/source/source_loader.dart

 // Copyright (c) 2016, 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 fasta.source_loader;
 
 import 'dart:async' show Future;
 
 import 'dart:typed_data' show Uint8List;
 
+import 'package:front_end/src/fasta/kernel/kernel_shadow_ast.dart'

[ahe, 2017/04/18 15:49:59]

Relative?

+    show KernelTypeInferrer;
+
 import 'package:kernel/ast.dart' show Program;
 
 import 'package:kernel/class_hierarchy.dart' show ClassHierarchy;
 
 import 'package:kernel/core_types.dart' show CoreTypes;
 
 import '../builder/builder.dart' show Builder, ClassBuilder, LibraryBuilder;
 
 import '../compiler_context.dart' show CompilerContext;
 
@@ skipping 91 matching lines @@
         Token tokens = await tokenize(part);
         if (tokens != null) {
           listener.uri = part.fileUri;
           parser.parseUnit(tokens);
         }
       }
     }
   }
 
   DietListener createDietListener(LibraryBuilder library) {
-    return new DietListener(library, hierarchy, coreTypes);
+    return new DietListener(library, hierarchy, coreTypes,
+        new KernelTypeInferrer(coreTypes, hierarchy));
   }
 
   void resolveParts() {
     List<Uri> parts = <Uri>[];
     builders.forEach((Uri uri, LibraryBuilder library) {
       if (library is SourceLibraryBuilder) {
         if (library.isPart) {
           library.validatePart();
           parts.add(uri);
         } else {
@@ skipping 218 matching lines @@
   void checkOverrides(List<SourceClassBuilder> sourceClasses) {
     assert(hierarchy != null);
     for (SourceClassBuilder builder in sourceClasses) {
       builder.checkOverrides(hierarchy);
     }
     ticker.logMs("Checked overrides");
   }
 
   List<Uri> getDependencies() => sourceBytes.keys.toList();
 }