| // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| // If a constant constructor contains an initializer, or an initializing |
| // formal, for a final field which itself has an initializer at its |
| // declaration, then a runtime error should occur if that constructor is |
| // invoked using "new", but there should be no compile-time error. However, if |
| // the constructor is invoked using "const", there should be a compile-time |
| // error, since it is a compile-time error for evaluation of a constant object |
| // to result in an uncaught exception. |
| |
| import "package:expect/expect.dart"; |
| |
| class C { |
| final x = 1; |
| const C() : x = 2; //# 01: compile-time error |
| const C() : x = 2; //# 02: static type warning |
| const C(this.x); //# 03: compile-time error |
| const C(this.x); //# 04: static type warning |
| } |
| |
| main() { |
| const C(); //# 01: continued |
| Expect.throws(() => new C()); //# 02: continued |
| const C(2); //# 03: continued |
| Expect.throws(() => new C(2)); //# 04: continued |
| } |