Index: tests/language/assertion_initializer_const_function_test.dart |
diff --git a/tests/language/assertion_initializer_const_function_test.dart b/tests/language/assertion_initializer_const_function_test.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..62f0d35088d2ceb9d767f1309b50422d041cddf0 |
--- /dev/null |
+++ b/tests/language/assertion_initializer_const_function_test.dart |
@@ -0,0 +1,27 @@ |
+// 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/04 09:42:18
good catch
|
+// 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. |
+// VMOptions=--assert_initializer |
+// |
+// Dart test program testing assert statements. |
+ |
+import "package:expect/expect.dart"; |
+ |
+class C { |
+ static bool staticTrue() => true; |
+ final int x; |
+ const C(this.x); |
+ // The expression *is* compile-time constant, but not a bool value. |
+ // Static warning, runtime always fails assertion. |
+ const C.bc01(this.x, y) : assert(staticTrue); //# 01: static type warning |
+} |
+ |
+main() { |
+ bool checkedMode = false; |
+ assert(checkedMode = true); |
+ if (checkedMode) { |
+ Expect.throws(() => new C.bc01(1, 2), (e) => e is AssertionError); //# 01: continued |
eernst
2017/07/03 16:36:37
This test file as a whole would go away if we chan
eernst
2017/07/04 09:09:20
Next iteration: We keep `assert(staticTrue)` as a
Lasse Reichstein Nielsen
2017/07/04 09:42:17
I was actually expecting this to be a type error.
|
+ } else { |
+ Expect.equals(1, new C.bc01(1, 2).x); //# 01: continued |
+ } |
+} |