OLD | NEW |
| (Empty) |
1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | |
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 // Dart test program testing assert statements. | |
7 | |
8 import "package:expect/expect.dart"; | |
9 | |
10 class C { | |
11 static bool staticTrue() => true; | |
12 final int x; | |
13 const C(this.x); | |
14 // The expression *is* a compile-time constant, but not a bool value. | |
15 // Static warning, assertion throws which makes it a compile-time error. | |
16 const C.bc02(this.x, y) | |
17 : assert(staticTrue) //# 01: static type warning | |
18 ; | |
19 } | |
20 | |
21 | |
22 main() { | |
23 // Assertion fails, so in checked mode it's a compile-time error. | |
24 // Production mode will succeed because the assertion isn't evaluated. | |
25 var c = const C(1); | |
26 c = const C.bc02(1, 2); //# 01: compile-time error | |
27 if (c.x != 1) throw "non-trivial use of c"; | |
28 Expect.identical(const C(1), c); | |
29 } | |
OLD | NEW |