Add local type inference logic for integer literals.

pkg/front_end/lib/src/fasta/testing/kernel_chain.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.md file.
 
 // TODO(ahe): Copied from closure_conversion branch of kernel, remove this file
 // when closure_conversion is merged with master.
 
 library kernel.testing.kernel_chain;
 
 import 'dart:async' show Future;
@@ skipping 242 matching lines @@
   const WriteDill();
 
   String get name => "write .dill";
 
   Future<Result<Uri>> run(Program program, _) async {
     Directory tmp = await Directory.systemTemp.createTemp();
     Uri uri = tmp.uri.resolve("generated.dill");
     File generated = new File.fromUri(uri);
     IOSink sink = generated.openWrite();
     try {
-      new BinaryPrinter(sink).writeProgramFile(program);
-      program.unbindCanonicalNames();
+      try {
+        new BinaryPrinter(sink).writeProgramFile(program);
+      } finally {
+        program.unbindCanonicalNames();
+      }
     } catch (e, s) {
       return fail(uri, e, s);
     } finally {
       print("Wrote `${generated.path}`");
       await sink.close();
     }
     return pass(uri);
   }
 }
 
@@ skipping 83 matching lines @@
 
 Future openWrite(Uri uri, f(IOSink sink)) async {
   IOSink sink = new File.fromUri(uri).openWrite();
   try {
     await f(sink);
   } finally {
     await sink.close();
   }
   print("Wrote $uri");
 }