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

tests/language/language.status

 # Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 # 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.
 
 # This directory contains tests that are intended to show the
 # current state of the language.
 
 [ $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
 # This is OK for now, but we may want to change the semantics to match the test.
 async_star_pause_test: Fail, OK
 
 # These tests are skipped in the VM because it has "--supermixin"
 # functionality enabled unconditionally.  The tests should be removed
 # once the same is true for analyzer (#24478) and dart2js (#23773)
 mixin_illegal_super_use_test: Skip # Issues 24478 and 23773
@@ skipping 132 matching lines @@
 vm/unaligned_float_access_literal_index_test: Pass, Crash # Unaligned offset. Issue 22151
 vm/unaligned_float_access_literal_index_test: Pass, Crash # Unaligned offset. Issue 22151
 
 [ $compiler == none && ($runtime == dartium || $runtime == drt) ]
 issue23244_test: Fail # Issue 23244
 
 [ ($compiler == none || $compiler == precompiler || $compiler == app_jit) && (($runtime == vm || $runtime == dart_precompiled) || $runtime == drt || $runtime == dartium) && $arch == ia32 ]
 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
 
 [ $runtime == dart_precompiled || $mode == product ]
 # Imports dart:mirrors
 const_evaluation_test: SkipByDesign
 deferred_constraints_constants_test: SkipByDesign
 enum_mirror_test: SkipByDesign
 field_increment_bailout_test: SkipByDesign
 instance_creation_in_function_annotation_test: SkipByDesign
@@ skipping 390 matching lines @@
 async_return_types_test/wrongTypeParameter: Skip # Flutter Issue 9110
 async_return_types_test/wrongReturnType: Skip # Flutter Issue 9110
 async_return_types_test/return_value_sync_star: Skip # Flutter Issue 9110
 asyncstar_yield_test: Skip # Flutter Issue 9110
 async_star_no_cancel_test: Skip # Flutter Issue 9110
 async_star_cancel_while_paused_test: Skip # Flutter Issue 9110
 await_for_test: Skip # Flutter Issue 9110
 await_for_cancel_test: Skip # Flutter Issue 9110