| 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 |