OLD | NEW |
---|---|
(Empty) | |
1 // Copyright (c) 201, the Dart project authors. Please see the AUTHORS file | |
eernst
2017/07/03 16:36:37
Typo: `2017`.
Lasse Reichstein Nielsen
2017/07/10 10:57:02
Done.
| |
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. | |
4 // VMOptions=--assert_initializer | |
5 | |
6 class C { | |
7 static bool check(x, y) => x < y; | |
8 final int x; | |
9 const C(this.x); | |
10 // The expression is not a potentially constant expression. | |
11 // This is a compile-time error. | |
12 const C.bc03(this.x, y) : assert(check(x, y)); //# 01: compile-time error | |
13 } | |
14 | |
15 main() { | |
16 var c = new C(1); | |
17 // Ensure that the constructor is compiled. | |
18 c = new C.bc03(1, 2); //# 01: continued | |
eernst
2017/07/03 16:36:37
It's a tricky twist that (1) `new C.bc03` may not
Lasse Reichstein Nielsen
2017/07/10 10:57:02
I moved the //#01 to the assert itself.
| |
19 if (c.x != 1) throw "non-trivial use of c"; | |
20 } | |
OLD | NEW |