| OLD | NEW |
| 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, 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 // Check that class allocated via 'const' has a const constructor. | 4 // Check that class allocated via 'const' has a const constructor. |
| 5 | 5 |
| 6 interface I factory C { | 6 interface I default C { |
| 7 I(int i); | 7 I(int i); |
| 8 } | 8 } |
| 9 | 9 |
| 10 class C implements I { | 10 class C implements I { |
| 11 C(int this.i) {} // <- missing const constructor. | 11 C(int this.i) {} // <- missing const constructor. |
| 12 final int i; | 12 final int i; |
| 13 } | 13 } |
| 14 | 14 |
| 15 | 15 |
| 16 class ConstConstructor1NegativeTest { | 16 class ConstConstructor1NegativeTest { |
| 17 static testMain() { | 17 static testMain() { |
| 18 var i = const I(5); | 18 var i = const I(5); |
| 19 print("Expected compilation failure: ${i.i}"); | 19 print("Expected compilation failure: ${i.i}"); |
| 20 } | 20 } |
| 21 } | 21 } |
| 22 | 22 |
| 23 main() { | 23 main() { |
| 24 ConstConstructor1NegativeTest.testMain(); | 24 ConstConstructor1NegativeTest.testMain(); |
| 25 } | 25 } |
| OLD | NEW |