| OLD | NEW | 
|---|
| 1 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file | 
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a | 
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. | 
| 4 | 4 | 
|  | 5 import "package:expect/expect.dart"; | 
|  | 6 | 
| 5 // Regression test for issue 7525. | 7 // Regression test for issue 7525. | 
| 6 | 8 | 
| 7 foo() { | 9 foo() { | 
| 8   var ol = <int>[2]; | 10   var ol = <int>[2]; | 
| 9   (ol as List<int>)[0]; | 11   (ol as List<int>)[0]; | 
| 10   int x = (ol as List<int>)[0]; | 12   int x = (ol as List<int>)[0]; | 
| 11   return x; | 13   return x; | 
| 12 } | 14 } | 
| 13 | 15 | 
| 14 main() { | 16 main() { | 
| 15   for (int i = 0; i < 5000; i++) { | 17   for (int i = 0; i < 5000; i++) { | 
| 16     foo(); | 18     foo(); | 
| 17   } | 19   } | 
| 18   Expect.equals(2, foo()); | 20   Expect.equals(2, foo()); | 
| 19 } | 21 } | 
| OLD | NEW | 
|---|