OLD | NEW |
1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, 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 // Regression test for http://dartbug.com/21166/ | 5 // Regression test for http://dartbug.com/21166/ |
6 // Fails when compiling with --checked. | 6 // Fails when compiling with --checked. |
7 | 7 |
8 var a = []; | 8 var a = []; |
9 | 9 |
10 void doStuff() { | 10 void doStuff() { |
11 if (a.length) { // This triggers a TypeConversion to bool in checked mode. | 11 if (a.length) { |
| 12 // This triggers a TypeConversion to bool in checked mode. |
12 var element = a[0]; // This triggers a bounds check but a.length will have | 13 var element = a[0]; // This triggers a bounds check but a.length will have |
13 a.remove(element); // type [empty]. | 14 a.remove(element); // type [empty]. |
14 } | 15 } |
15 } | 16 } |
16 | 17 |
17 main() { | 18 main() { |
18 a.add(1); | 19 a.add(1); |
19 a.add(2); | 20 a.add(2); |
20 try { | 21 try { |
21 doStuff(); // This is expected to fail but not crash the compiler. | 22 doStuff(); // This is expected to fail but not crash the compiler. |
22 } catch (_) {} | 23 } catch (_) {} |
23 } | 24 } |
24 | |
25 | |
OLD | NEW |