Rollback instrumentation during analysis and validate resolved ASTs instead.

pkg/front_end/testcases/inference/int_upwards_local.dart

Index: pkg/front_end/testcases/inference/int_upwards_local.dart
diff --git a/pkg/front_end/testcases/inference/int_upwards_local.dart b/pkg/front_end/testcases/inference/int_upwards_local.dart
index 622b681d95fdc69bdaaf33bd66ddccf8b423e94d..d4e7729fcd57a8e469df3290dc264ce27f8c339b 100644
--- a/pkg/front_end/testcases/inference/int_upwards_local.dart
+++ b/pkg/front_end/testcases/inference/int_upwards_local.dart
@@ -1,8 +1,10 @@
-// Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
+// Copyright (c) 2017, 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.
+// BSD-style license that can be found in the LICENSE.md file.
 
 /*@testedFeatures=inference*/
+library test;
+
 main() {
   var /*@type=int*/ x = 1;
 }