| 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 // If a constant constructor contains an initializer, or an initializing | |
| 6 // formal, for a final field which itself has an initializer at its | |
| 7 // declaration, then a runtime error should occur if that constructor is | |
| 8 // invoked using "new", but there should be no compile-time error. However, if | |
| 9 // the constructor is invoked using "const", there should be a compile-time | |
| 10 // error, since it is a compile-time error for evaluation of a constant object | |
| 11 // to result in an uncaught exception. | |
| 12 | |
| 13 import "package:expect/expect.dart"; | 5 import "package:expect/expect.dart"; |
| 14 | 6 |
| 15 class C { | 7 class C { |
| 8 // Since this field is final and already initialized, the specification says |
| 9 // that a runtime error occurs when attempting to initialize it in the |
| 10 // constructor. When used as a compile-time constant, this causes a |
| 11 // compile-time error. |
| 16 final x = 1; | 12 final x = 1; |
| 17 const C() : x = 2; //# 01: compile-time error | 13 |
| 18 const C() : x = 2; //# 02: static type warning | 14 const C( |
| 19 const C(this.x); //# 03: compile-time error | 15 this. //# 01: compile-time error |
| 20 const C(this.x); //# 04: static type warning | 16 this. //# 02: static type warning |
| 17 x |
| 18 ) |
| 19 : x = 2 //# 03: compile-time error |
| 20 : x = 2 //# 04: static type warning |
| 21 ; |
| 22 } |
| 23 |
| 24 instantiateC() { |
| 25 const C(0); //# 01: continued |
| 26 const C(0); //# 03: continued |
| 27 new C(0); |
| 21 } | 28 } |
| 22 | 29 |
| 23 main() { | 30 main() { |
| 24 const C(); //# 01: continued | 31 bool shouldThrow = false; |
| 25 Expect.throws(() => new C()); //# 02: continued | 32 shouldThrow = true; //# 02: continued |
| 26 const C(2); //# 03: continued | 33 shouldThrow = true; //# 04: continued |
| 27 Expect.throws(() => new C(2)); //# 04: continued | 34 if (shouldThrow) { |
| 35 Expect.throws(instantiateC); |
| 36 } else { |
| 37 instantiateC(); |
| 38 } |
| 28 } | 39 } |
| OLD | NEW |