Index: tests/language/assertion_initializer_const_error2_test.dart |
diff --git a/tests/language/assertion_initializer_const_error2_test.dart b/tests/language/assertion_initializer_const_error2_test.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..d4adbdee73ee82ccc23ffed8f01a79ab64642fbd |
--- /dev/null |
+++ b/tests/language/assertion_initializer_const_error2_test.dart |
@@ -0,0 +1,40 @@ |
+// 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.
|
+// 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 { |
+ final int x; |
+ // Const constructors. |
+ const C.cc01(this.x, y) : assert(x < y); |
+ const C.cc02(x, y) : x = x, assert(x < y); |
+ const C.cc03(x, y) : assert(x < y), x = x; |
+ const C.cc04(this.x, y) : super(), assert(x < y); |
+ const C.cc05(this.x, y) : assert(x < y), super(); |
+ const C.cc06(x, y) : x = x, super(), assert(x < y); |
+ const C.cc07(x, y) : assert(x < y), super(), x = x; |
+ const C.cc08(x, y) : assert(x < y), super(), x = x, assert(y > x); |
+ const C.cc09(this.x, y) : assert(x < y, "$x < $y"); |
+ const C.cc10(this.x, y) : assert(x < y,); |
+ const C.cc11(this.x, y) : assert(x < y, "$x < $y",); |
+} |
+ |
+ |
+main() { |
+ // Failing assertions in const invociations are compile-time errors. |
+ const C.cc01(2, 1); //# cc01: compile-time error |
+ const C.cc02(2, 1); //# cc02: compile-time error |
+ const C.cc03(2, 1); //# cc03: compile-time error |
+ const C.cc04(2, 1); //# cc04: compile-time error |
+ const C.cc05(2, 1); //# cc05: compile-time error |
+ const C.cc06(2, 1); //# cc06: compile-time error |
+ const C.cc07(2, 1); //# cc07: compile-time error |
+ const C.cc08(2, 1); //# cc08: compile-time error |
+ const C.cc09(2, 1); //# cc09: compile-time error |
+ const C.cc10(2, 1); //# cc10: compile-time error |
+ const C.cc11(2, 1); //# cc11: compile-time error |
+} |