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 |