Introduce initial plumbing for type inference in fasta.

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

Index: pkg/front_end/lib/src/fasta/source/source_loader.dart
diff --git a/pkg/front_end/lib/src/fasta/source/source_loader.dart b/pkg/front_end/lib/src/fasta/source/source_loader.dart
index fc70b06c27d4703dcb2850fbd67a94be706a8f20..dfb6c87f9d5b8da020033120a9bfcae9e650de59 100644
--- a/pkg/front_end/lib/src/fasta/source/source_loader.dart
+++ b/pkg/front_end/lib/src/fasta/source/source_loader.dart
@@ -8,6 +8,9 @@ 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;
@@ -119,7 +122,8 @@ class SourceLoader<L> extends Loader<L> {
   }
 
   DietListener createDietListener(LibraryBuilder library) {
-    return new DietListener(library, hierarchy, coreTypes);
+    return new DietListener(library, hierarchy, coreTypes,
+        new KernelTypeInferrer(coreTypes, hierarchy));
   }
 
   void resolveParts() {