Start implementing checked mode compile time errors in analyzer.

tests/language/language_analyzer2.status

Index: tests/language/language_analyzer2.status
diff --git a/tests/language/language_analyzer2.status b/tests/language/language_analyzer2.status
index a6cc8f79d7a99dee527d5c8da4f9baea610d53e3..3d4a9a467f4e3130b30a6bd59a5a85cb80bc1673 100644
--- a/tests/language/language_analyzer2.status
+++ b/tests/language/language_analyzer2.status
@@ -426,15 +426,6 @@ void_type_test: StaticWarning
 
 issue13474_test: StaticWarning, OK # Test Issue
 
-# Issue 16391. The analyzer handle compile-time error in checked only in these
-# cases:
-compile_time_constant_checked2_test/01: CompileTimeError # Language Issue 16391
-compile_time_constant_checked2_test/05: CompileTimeError # Language Issue 16391
-compile_time_constant_checked3_test/01: CompileTimeError # Language Issue 16391
-compile_time_constant_checked3_test/05: CompileTimeError # Language Issue 16391
-list_literal1_test/01: CompileTimeError # Issue 16391
-map_literal1_test/01: CompileTimeError # Issue 16391
-
 # The following lines have been left in to quickly switch back to having deferred loading
 # off by default again.
 # Deferred loading support, tests marked as failing until support is enabled by default.
@@ -465,3 +456,39 @@ regress_12561_test: StaticWarning
 main_not_a_function_test/01: Fail # http://dartbug.com/20030
 main_test/03: Fail # http://dartbug.com/20030
 no_main_test/01: Fail # http://dartbug.com/20030
+
+# Issue 16391. These tests are supposed to produce a compile time
+# error in checked mode, but they don't:
+[ $compiler == dart2analyzer && $checked ]
+compile_time_constant_checked2_test/02: MissingCompileTimeError # Issue 16391
+compile_time_constant_checked2_test/03: MissingCompileTimeError # Issue 16391
+compile_time_constant_checked2_test/04: MissingCompileTimeError # Issue 16391
+compile_time_constant_checked2_test/06: MissingCompileTimeError # Issue 16391
+compile_time_constant_checked3_test/02: MissingCompileTimeError # Issue 16391
+compile_time_constant_checked3_test/03: MissingCompileTimeError # Issue 16391
+compile_time_constant_checked3_test/04: MissingCompileTimeError # Issue 16391
+compile_time_constant_checked3_test/06: MissingCompileTimeError # Issue 16391
+compile_time_constant_checked_test/02: MissingCompileTimeError # Issue 16391
+const_constructor2_test/13: MissingCompileTimeError # Issue 16391
+const_constructor2_test/14: MissingCompileTimeError # Issue 16391
+const_constructor2_test/15: MissingCompileTimeError # Issue 16391
+const_constructor2_test/16: MissingCompileTimeError # Issue 16391
+const_constructor2_test/17: MissingCompileTimeError # Issue 16391
+const_constructor2_test/20: MissingCompileTimeError # Issue 16391
+const_constructor2_test/22: MissingCompileTimeError # Issue 16391
+const_constructor2_test/24: MissingCompileTimeError # Issue 16391
+const_constructor3_test/02: MissingCompileTimeError # Issue 16391
+const_constructor3_test/04: MissingCompileTimeError # Issue 16391
+const_init2_test/02: MissingCompileTimeError # Issue 16391
+malformed2_test/01: MissingCompileTimeError # Issue 16391
+
+# Issue 16391. These tests are supposed to produce a compile time
+# error in checked mode, but they produce a compile time error
+# regardless of mode:
+[ $compiler == dart2analyzer && $unchecked ]
+compile_time_constant_checked2_test/01: CompileTimeError # Language Issue 16391
+compile_time_constant_checked2_test/05: CompileTimeError # Language Issue 16391
+compile_time_constant_checked3_test/01: CompileTimeError # Language Issue 16391
+compile_time_constant_checked3_test/05: CompileTimeError # Language Issue 16391
+list_literal1_test/01: CompileTimeError # Issue 16391
+map_literal1_test/01: CompileTimeError # Issue 16391