Instrument analyzer's type analysis and run front_end inference tests.

pkg/front_end/testcases/inference/type_promotion_stopped_by_access_in_a_closure.dart

Index: pkg/front_end/testcases/inference/type_promotion_stopped_by_access_in_a_closure.dart
diff --git a/pkg/front_end/testcases/inference/type_promotion_stopped_by_access_in_a_closure.dart b/pkg/front_end/testcases/inference/type_promotion_stopped_by_access_in_a_closure.dart
index 34af4419648c51ad8ab2fafc65835d3b04d5cd3b..486b1e52b4944c591701be2f57efea6eedff3958 100644
--- a/pkg/front_end/testcases/inference/type_promotion_stopped_by_access_in_a_closure.dart
+++ b/pkg/front_end/testcases/inference/type_promotion_stopped_by_access_in_a_closure.dart
@@ -2,12 +2,14 @@
 // 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.
 
+library test;
+
 /*@testedFeatures=inference*/
 main() {
   num n = null;
   if (/*@promotedType=none*/ n is int) {
-    var /*@type=dart.core::num*/ i = /*@promotedType=none*/ n;
-    () {
+    var /*@type=num*/ i = /*@promotedType=none*/ n;
+    /*@type=() → Null*/ () {
       /*@promotedType=none*/
       n;
     };