| 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 |