| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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"; | 5 import "package:expect/expect.dart"; |
| 6 | 6 |
| 7 bool get inCheckedMode { | 7 bool get inCheckedMode { |
| 8 try { | 8 try { |
| 9 var i = 42; | 9 var i = 42; |
| 10 String a = i; | 10 String a = i; |
| 11 } catch (e) { | 11 } catch (e) { |
| 12 return true; | 12 return true; |
| 13 } | 13 } |
| 14 return false; | 14 return false; |
| 15 } | 15 } |
| 16 | 16 |
| 17 class A<T> { | 17 class A<T> { |
| 18 T field; | 18 T field; |
| 19 } | 19 } |
| 20 | 20 |
| 21 class B<T> { | 21 class B<T> { |
| 22 T field = 42; /// 01: static type warning | 22 T field = 42; //# 01: static type warning |
| 23 } | 23 } |
| 24 | 24 |
| 25 class C<T> { | 25 class C<T> { |
| 26 T field = 42; /// 02: static type warning | 26 T field = 42; //# 02: static type warning |
| 27 } | 27 } |
| 28 | 28 |
| 29 main() { | 29 main() { |
| 30 var a = new A<String>(); | 30 var a = new A<String>(); |
| 31 var c = new C<int>(); | 31 var c = new C<int>(); |
| 32 var i = 42; | 32 var i = 42; |
| 33 var s = 'foo'; | 33 var s = 'foo'; |
| 34 if (inCheckedMode) { | 34 if (inCheckedMode) { |
| 35 Expect.throws(() => a.field = i, (e) => e is TypeError); | 35 Expect.throws(() => a.field = i, (e) => e is TypeError); |
| 36 Expect.throws(() => new B<String>(), (e) => e is TypeError); /// 01: continu
ed | 36 Expect.throws(() => new B<String>(), (e) => e is TypeError); //# 01: continu
ed |
| 37 Expect.throws(() => c.field = s, (e) => e is TypeError); /// 02: continued | 37 Expect.throws(() => c.field = s, (e) => e is TypeError); //# 02: continued |
| 38 } else { | 38 } else { |
| 39 a.field = i; | 39 a.field = i; |
| 40 new B<String>(); /// 01: continued | 40 new B<String>(); //# 01: continued |
| 41 c.field = s; /// 02: continued | 41 c.field = s; //# 02: continued |
| 42 } | 42 } |
| 43 } | 43 } |
| OLD | NEW |