Add assert-in-initializer-list to formal specification.

tests/language/language.status

Index: tests/language/language.status
diff --git a/tests/language/language.status b/tests/language/language.status
index c184c3e1259f7d078cbd3bb6ba6360eb432c4d59..8929d2f88c9d43cd81e1aeb33779b60692126dd6 100644
--- a/tests/language/language.status
+++ b/tests/language/language.status
@@ -8,9 +8,43 @@
 [ $strong ]
 *: SkipByDesign # tests/language_strong has the strong mode versions of these tests.
 
+[ !$checked && $compiler != dart2analyzer]
+# Failing assert-based compile-time error only happens in checked mode.
+assertion_initializer_test/bc02: MissingCompileTimeError, OK
+assertion_initializer_test/cc01: MissingCompileTimeError, OK
+assertion_initializer_test/cc02: MissingCompileTimeError, OK
+assertion_initializer_test/cc03: MissingCompileTimeError, OK
+assertion_initializer_test/cc04: MissingCompileTimeError, OK
+assertion_initializer_test/cc05: MissingCompileTimeError, OK
+assertion_initializer_test/cc06: MissingCompileTimeError, OK
+assertion_initializer_test/cc07: MissingCompileTimeError, OK
+assertion_initializer_test/cc08: MissingCompileTimeError, OK
+assertion_initializer_test/cc09: MissingCompileTimeError, OK
+
+[ !$checked && $compiler == none ]

[eernst, 2017/07/03 16:36:38]

Why isn't this block of status entries ending in `, OK`, based on the same
reasoning as above? Actually, `MissingCompileTimeError` would be OK, but `Fail`
would not.

[Lasse Reichstein Nielsen, 2017/07/04 09:42:18]

I'll get back to the status files. They are still not correct, and my tool was
misleading me on how to fix them :)

+assertion_initializer_const_error2_test/cc01: Fail, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc02: Fail, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc03: Fail, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc04: Fail, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc05: Fail, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc06: Fail, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc07: Fail, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc08: Fail, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc09: Fail, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc10: Fail, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc11: Fail, MissingCompileTimeError
+assertion_initializer_const_error_test/01: Fail, MissingCompileTimeError
+assertion_initializer_const_function_error_test/01: Fail, MissingCompileTimeError
+
+[ !$checked && ($runtime == vm || $runtime == dart_precompiled )]
+# This should be a compile-time error whether the assert is executed or not.
+assertion_initializer_test/bc03: MissingCompileTimeError
+
 [ ($runtime == vm || $runtime == flutter || $runtime == dart_precompiled) && $compiler != dartk && $compiler != dartkp ]
 abstract_beats_arguments2_test/01: Crash # Issue 29171
 
+[ $runtime == vm || $runtime == dart_precompiled ]
+
 # These test entries will be valid for vm/dartium (with and without kernel).
 [ $compiler == none || $compiler == app_jit || $compiler == dartk || $runtime == dart_precompiled ]
 async_star_cancel_while_paused_test: RuntimeError
@@ -163,10 +197,26 @@ issue23244_test: Fail # Issue 23244
 vm/regress_24517_test: Pass, Fail # Issue 24517.
 
 [ $compiler == precompiler && $runtime == dart_precompiled ]
+assertion_initializer_const_error2_test/cc01: Crash, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc02: Crash, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc03: Crash, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc04: Crash, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc05: Crash, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc06: Crash, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc07: Crash, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc08: Crash, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc09: Crash, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc10: Crash, MissingCompileTimeError
+assertion_initializer_const_error2_test/cc11: Crash, MissingCompileTimeError
+
 vm/regress_27671_test: Skip # Unsupported
 export_double_same_main_test: Skip # Issue 29895
 export_ambiguous_main_negative_test: Skip # Issue 29895
 
+[ $compiler == precompiler && $runtime == dart_precompiled && !$checked]
+assertion_initializer_const_error_test/01: MissingCompileTimeError
+assertion_initializer_const_function_error_test/01: MissingCompileTimeError

[eernst, 2017/07/03 16:36:38]

The `..const_function_error_test` status would be `, OK` because
`assert(staticTrue)` is a static warning in the constructor declaration and
ignored for the compile-time evaluation of `const` expressions.

+
 [ $compiler == precompiler && $runtime == dart_precompiled && $mode == debug ]
 regress_29025_test: Crash  # Issue dartbug.com/29331