Add 12 more grammar errors (microsoft#47075)

These are the last ones that I know of. They come from calls to
`grammarErrorOnFirstToken`.

Fixes part of microsoft#45349
Follow-up to microsoft#47067

Author: sandersn

src/compiler/program.ts

@@ -839,12 +839,14 @@ namespace ts {
         // grammar errors
         Diagnostics.A_break_statement_can_only_be_used_within_an_enclosing_iteration_or_switch_statement.code,
         Diagnostics.A_break_statement_can_only_jump_to_a_label_of_an_enclosing_statement.code,
+        Diagnostics.A_class_declaration_without_the_default_modifier_must_have_a_name.code,
         Diagnostics.A_class_member_cannot_have_the_0_keyword.code,
         Diagnostics.A_comma_expression_is_not_allowed_in_a_computed_property_name.code,
         Diagnostics.A_continue_statement_can_only_be_used_within_an_enclosing_iteration_statement.code,
         Diagnostics.A_continue_statement_can_only_jump_to_a_label_of_an_enclosing_iteration_statement.code,
         Diagnostics.A_continue_statement_can_only_jump_to_a_label_of_an_enclosing_iteration_statement.code,
         Diagnostics.A_default_clause_cannot_appear_more_than_once_in_a_switch_statement.code,
+        Diagnostics.A_default_export_must_be_at_the_top_level_of_a_file_or_module_declaration.code,
         Diagnostics.A_definite_assignment_assertion_is_not_permitted_in_this_context.code,
         Diagnostics.A_destructuring_declaration_must_have_an_initializer.code,
         Diagnostics.A_get_accessor_cannot_have_parameters.code,
@@ -855,13 +857,21 @@ namespace ts {
         Diagnostics.A_rest_parameter_cannot_have_an_initializer.code,
         Diagnostics.A_rest_parameter_must_be_last_in_a_parameter_list.code,
         Diagnostics.A_rest_parameter_or_binding_pattern_may_not_have_a_trailing_comma.code,
+        Diagnostics.A_return_statement_can_only_be_used_within_a_function_body.code,
+        Diagnostics.A_return_statement_cannot_be_used_inside_a_class_static_block.code,
         Diagnostics.A_set_accessor_cannot_have_rest_parameter.code,
         Diagnostics.A_set_accessor_must_have_exactly_one_parameter.code,
+        Diagnostics.An_export_declaration_can_only_be_used_in_a_module.code,
+        Diagnostics.An_export_declaration_cannot_have_modifiers.code,
+        Diagnostics.An_import_declaration_can_only_be_used_in_a_namespace_or_module.code,
+        Diagnostics.An_import_declaration_cannot_have_modifiers.code,
         Diagnostics.An_object_member_cannot_be_declared_optional.code,
         Diagnostics.Argument_of_dynamic_import_cannot_be_spread_element.code,
         Diagnostics.Cannot_assign_to_private_method_0_Private_methods_are_not_writable.code,
         Diagnostics.Cannot_redeclare_identifier_0_in_catch_clause.code,
+        Diagnostics.Catch_clause_variable_cannot_have_an_initializer.code,
         Diagnostics.Class_decorators_can_t_be_used_with_static_private_identifier_Consider_removing_the_experimental_decorator.code,
+        Diagnostics.Classes_can_only_extend_a_single_class.code,
         Diagnostics.Classes_may_not_have_a_field_named_constructor.code,
         Diagnostics.Did_you_mean_to_use_a_Colon_An_can_only_follow_a_property_name_when_the_containing_object_literal_is_part_of_a_destructuring_pattern.code,
         Diagnostics.Duplicate_label_0.code,
@@ -873,6 +883,7 @@ namespace ts {
         Diagnostics.JSX_property_access_expressions_cannot_include_JSX_namespace_names.code,
         Diagnostics.Jump_target_cannot_cross_function_boundary.code,
         Diagnostics.Line_terminator_not_permitted_before_arrow.code,
+        Diagnostics.Modifiers_cannot_appear_here.code,
         Diagnostics.Only_a_single_variable_declaration_is_allowed_in_a_for_in_statement.code,
         Diagnostics.Only_a_single_variable_declaration_is_allowed_in_a_for_of_statement.code,
         Diagnostics.Private_identifiers_are_not_allowed_outside_class_bodies.code,
@@ -897,6 +908,7 @@ namespace ts {
         Diagnostics._0_modifier_must_precede_1_modifier.code,
         Diagnostics.const_declarations_can_only_be_declared_inside_a_block.code,
         Diagnostics.const_declarations_must_be_initialized.code,
+        Diagnostics.extends_clause_already_seen.code,
         Diagnostics.let_declarations_can_only_be_declared_inside_a_block.code,
         Diagnostics.let_is_not_allowed_to_be_used_as_a_name_in_let_or_const_declarations.code,
     ]);

tests/baselines/reference/plainJSGrammarErrors.errors.txt

@@ -15,6 +15,7 @@ class C {
         for await (const x of [1,2,3]) {
             console.log(x)
         }
+        return null
     }
     // modifier mistakes
     static constructor() { }
@@ -40,6 +41,11 @@ class C {
     // other
     "constructor" = 16
 }
+class {
+    missingName = true
+}
+class Doubler extends C extends C { }
+class Trebler extends C,C,C { }
 // #private mistakes
 #unrelated
 junk.#m
@@ -59,6 +65,20 @@ async class CantAsyncClass {
 async const cantAsyncConst = 2
 async import 'assert'
 async export { CantAsyncClass }
+export import 'fs'
+export export { C }
+function nestedExports() {
+    export { staticParam }
+    import 'fs'
+    export default 12
+}
+function outerStaticFunction() { 
+    static function staticFunction() { }
+}
+const noStaticLiteralMethods = {
+    static m() {
+    }
+}
 
 // rest parameters
 function restMustBeLast(...x, y) {
@@ -142,6 +162,11 @@ catch (e) {
     const e = 1
     console.log(e)
 }
+try {
+    throw 20
+}
+catch (e = 0) {
+}
 label: for (const x in [1,2,3]) {
     label: for (const y in [1,2,3]) {
         break label;
@@ -179,6 +204,8 @@ function foo() { new.targe }
 const nullaryDynamicImport = import()
 const trinaryDynamicImport = import('1', '2', '3')
 const spreadDynamicImport = import(...[])
+
+return
 
 
 //// [plainJSGrammarErrors.js]
@@ -198,6 +225,7 @@ class C {
         for await (const x of [1, 2, 3]) {
             console.log(x);
         }
+        return null;
     }
     // modifier mistakes
     static constructor() { }
@@ -221,6 +249,13 @@ class C {
     // other
     "constructor" = 16;
 }
+class {
+    missingName = true;
+}
+class Doubler extends C extends C {
+}
+class Trebler extends C, C, C {
+}
 // #private mistakes
 #unrelated;
 junk.#m;
@@ -239,6 +274,20 @@ async class CantAsyncClass {
 async const cantAsyncConst = 2;
 async import 'assert';
 export { CantAsyncClass };
+export import 'fs';
+export { C };
+function nestedExports() {
+    export { staticParam };
+    import 'fs';
+    export default 12;
+}
+function outerStaticFunction() {
+    static function staticFunction() { }
+}
+const noStaticLiteralMethods = {
+    static m() {
+    }
+};
 // rest parameters
 function restMustBeLast(...x, y) {
 }
@@ -318,6 +367,11 @@ catch (e) {
     const e = 1;
     console.log(e);
 }
+try {
+    throw 20;
+}
+catch (e = 0) {
+}
 label: for (const x in [1, 2, 3]) {
     label: for (const y in [1, 2, 3]) {
         break label;
@@ -353,3 +407,4 @@ function foo() { new.targe; }
 const nullaryDynamicImport = import();
 const trinaryDynamicImport = import('1', '2', '3');
 const spreadDynamicImport = import(...[]);
+return;

tests/baselines/reference/plainJSGrammarErrors.js

@@ -41,6 +41,8 @@ class C {
 >log : (...data: any[]) => void
 >x : number
         }
+        return null
+>null : null
     }
     // modifier mistakes
     static constructor() { }
@@ -95,6 +97,22 @@ class C {
 >"constructor" : number
 >16 : 16
 }
+class {
+    missingName = true
+>missingName : boolean
+>true : true
+}
+class Doubler extends C extends C { }
+>Doubler : Doubler
+>C : C
+>C : C
+
+class Trebler extends C,C,C { }
+>Trebler : Trebler
+>C : C
+>C : C
+>C : C
+
 // #private mistakes
 #unrelated
 junk.#m
@@ -157,6 +175,34 @@ async import 'assert'
 async export { CantAsyncClass }
 >CantAsyncClass : typeof CantAsyncClass
 
+export import 'fs'
+export export { C }
+>C : typeof C
+
+function nestedExports() {
+>nestedExports : () => void
+
+    export { staticParam }
+>staticParam : any
+
+    import 'fs'
+    export default 12
+}
+function outerStaticFunction() { 
+>outerStaticFunction : () => void
+
+    static function staticFunction() { }
+>staticFunction : () => void
+}
+const noStaticLiteralMethods = {
+>noStaticLiteralMethods : { m(): void; }
+>{    static m() {    }} : { m(): void; }
+
+    static m() {
+>m : () => void
+    }
+}
+
 // rest parameters
 function restMustBeLast(...x, y) {
 >restMustBeLast : (...x: any[], y: any) => void
@@ -471,6 +517,14 @@ catch (e) {
 >log : (...data: any[]) => void
 >e : 1
 }
+try {
+    throw 20
+>20 : 20
+}
+catch (e = 0) {
+>e : any
+>0 : 0
+}
 label: for (const x in [1,2,3]) {
 >label : any
 >x : string
@@ -570,3 +624,5 @@ const spreadDynamicImport = import(...[])
 >...[] : undefined
 >[] : undefined[]
 
+return
+

tests/baselines/reference/plainJSGrammarErrors.symbols

@@ -19,6 +19,7 @@ class C {
         for await (const x of [1,2,3]) {
             console.log(x)
         }
+        return null
     }
     // modifier mistakes
     static constructor() { }
@@ -44,6 +45,11 @@ class C {
     // other
     "constructor" = 16
 }
+class {
+    missingName = true
+}
+class Doubler extends C extends C { }
+class Trebler extends C,C,C { }
 // #private mistakes
 #unrelated
 junk.#m
@@ -63,6 +69,20 @@ async class CantAsyncClass {
 async const cantAsyncConst = 2
 async import 'assert'
 async export { CantAsyncClass }
+export import 'fs'
+export export { C }
+function nestedExports() {
+    export { staticParam }
+    import 'fs'
+    export default 12
+}
+function outerStaticFunction() { 
+    static function staticFunction() { }
+}
+const noStaticLiteralMethods = {
+    static m() {
+    }
+}
 
 // rest parameters
 function restMustBeLast(...x, y) {
@@ -146,6 +166,11 @@ catch (e) {
     const e = 1
     console.log(e)
 }
+try {
+    throw 20
+}
+catch (e = 0) {
+}
 label: for (const x in [1,2,3]) {
     label: for (const y in [1,2,3]) {
         break label;
@@ -183,3 +208,5 @@ function foo() { new.targe }
 const nullaryDynamicImport = import()
 const trinaryDynamicImport = import('1', '2', '3')
 const spreadDynamicImport = import(...[])
+
+return