Add top level type inference logic for integer literals.

pkg/front_end/lib/src/fasta/kernel/kernel_target.dart

Index: pkg/front_end/lib/src/fasta/kernel/kernel_target.dart
diff --git a/pkg/front_end/lib/src/fasta/kernel/kernel_target.dart b/pkg/front_end/lib/src/fasta/kernel/kernel_target.dart
index 4c1a56b80a3db254a0349887f762c5d5dd737388..80c5d374a7baf0ee3ef43885dc0dbd454d146dec 100644
--- a/pkg/front_end/lib/src/fasta/kernel/kernel_target.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/kernel_target.dart
@@ -230,6 +230,7 @@ class KernelTarget extends TargetImplementation {
   Future<Program> writeOutline(Uri uri) async {
     if (loader.first == null) return null;
     try {
+      loader.createTopLevelTypeInferrer();
       await loader.buildOutlines();
       loader.coreLibrary
           .becomeCoreLibrary(const DynamicType(), const VoidType());
@@ -247,6 +248,8 @@ class KernelTarget extends TargetImplementation {
       program = link(new List<Library>.from(loader.libraries));
       loader.computeHierarchy(program);
       loader.checkOverrides(sourceClasses);
+      loader.prepareInitializerInference();
+      loader.performInitializerInference();
       if (uri == null) return program;
       return await writeLinkedProgram(uri, program, isFullProgram: false);
     } on InputError catch (e) {