feat(parser): add ts error 1540 for TSModuleDeclaration

Report TS1540 when using the `module` keyword with an identifier name instead of a string literal:
- `module M {}` → error
- `declare module M {}` → error
- `namespace M {}` → ok
- `declare module "foo" {}` → ok

Ref: microsoft/TypeScript#62876

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

Author: Boshen

crates/oxc_parser/src/diagnostics.rs

@@ -374,6 +374,16 @@ pub fn optional_element_cannot_follow_rest_element(span: Span, rest_span: Span)
     ])
 }
 
+/// A 'namespace' declaration should not be declared using the 'module' keyword. ts(1540)
+#[cold]
+pub fn module_declaration_must_have_string_name(span: Span) -> OxcDiagnostic {
+    ts_error(
+        "1540",
+        "A 'namespace' declaration should not be declared using the 'module' keyword. Please use the 'namespace' keyword instead.",
+    )
+    .with_label(span)
+}
+
 // A type-only import can specify a default import or named bindings, but not both. ts(1363)
 #[cold]
 pub fn type_only_import_default_and_named(specifier_span: Span) -> OxcDiagnostic {

crates/oxc_parser/src/ts/statement.rs

@@ -305,10 +305,12 @@ impl<'a> ParserImpl<'a> {
         let kind = if self.eat(Kind::Namespace) {
             TSModuleDeclarationKind::Namespace
         } else {
+            let module_span = self.cur_token().span();
             self.expect(Kind::Module);
             if self.at(Kind::Str) {
                 return self.parse_ambient_external_module_declaration(span, modifiers);
             }
+            self.error(diagnostics::module_declaration_must_have_string_name(module_span));
             TSModuleDeclarationKind::Module
         };
         self.parse_module_or_namespace_declaration(span, kind, modifiers)

tasks/coverage/snapshots/parser_babel.snap

@@ -3,7 +3,7 @@ commit: fc58af40
 parser_babel Summary:
 AST Parsed     : 2223/2229 (99.73%)
 Positive Passed: 2206/2229 (98.97%)
-Negative Passed: 1651/1695 (97.40%)
+Negative Passed: 1652/1695 (97.46%)
 Expect Syntax Error: tasks/coverage/babel/packages/babel-parser/test/fixtures/es2026/explicit-resource-management/invalid-for-using-of-no-initializer/input.js
 
 Expect Syntax Error: tasks/coverage/babel/packages/babel-parser/test/fixtures/estree/class-private-property/typescript-invalid-abstract/input.ts
@@ -74,8 +74,6 @@ Expect Syntax Error: tasks/coverage/babel/packages/babel-parser/test/fixtures/ty
 
 Expect Syntax Error: tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/interface/get-set-invalid-this-parameters/input.ts
 
-Expect Syntax Error: tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/module-namespace/module-identifier-invalid/input.ts
-
 Expect Syntax Error: tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/regression/keyword-qualified-type-2/input.ts
 
 Expect Syntax Error: tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/regression/keyword-qualified-type-disallowed/input.ts
@@ -13708,6 +13706,12 @@ Expect to Parse: tasks/coverage/babel/packages/babel-parser/test/fixtures/typesc
    ╰────
   help: Try inserting a semicolon here
 
+  × TS(1540): A 'namespace' declaration should not be declared using the 'module' keyword. Please use the 'namespace' keyword instead.
+   ╭─[babel/packages/babel-parser/test/fixtures/typescript/module-namespace/module-identifier-invalid/input.ts:1:1]
+ 1 │ module M {}
+   · ──────
+   ╰────
+
   × Expected a semicolon or an implicit semicolon after a statement, but found none
    ╭─[babel/packages/babel-parser/test/fixtures/typescript/module-namespace/module-new-line-error/input.ts:2:4]
  1 │ module

tasks/coverage/snapshots/parser_typescript.snap

@@ -3,7 +3,7 @@ commit: f5ccf434
 parser_typescript Summary:
 AST Parsed     : 9844/9845 (99.99%)
 Positive Passed: 9836/9845 (99.91%)
-Negative Passed: 1498/2549 (58.77%)
+Negative Passed: 1500/2549 (58.85%)
 Expect Syntax Error: tasks/coverage/typescript/tests/cases/compiler/FunctionDeclaration3.ts
 
 Expect Syntax Error: tasks/coverage/typescript/tests/cases/compiler/FunctionDeclaration4.ts
@@ -342,8 +342,6 @@ Expect Syntax Error: tasks/coverage/typescript/tests/cases/compiler/es6ModuleInt
 
 Expect Syntax Error: tasks/coverage/typescript/tests/cases/compiler/es6ModuleInternalNamedImports2.ts
 
-Expect Syntax Error: tasks/coverage/typescript/tests/cases/compiler/escapedIdentifiers.ts
-
 Expect Syntax Error: tasks/coverage/typescript/tests/cases/compiler/esmNoSynthesizedDefault.ts
 
 Expect Syntax Error: tasks/coverage/typescript/tests/cases/compiler/excessPropertyCheckIntersectionWithRecursiveType.ts
@@ -664,8 +662,6 @@ Expect Syntax Error: tasks/coverage/typescript/tests/cases/compiler/moduleAugmen
 
 Expect Syntax Error: tasks/coverage/typescript/tests/cases/compiler/moduleAugmentationImportsAndExports3.ts
 
-Expect Syntax Error: tasks/coverage/typescript/tests/cases/compiler/moduleKeywordDeprecated.ts
-
 Expect Syntax Error: tasks/coverage/typescript/tests/cases/compiler/moduleProperty2.ts
 
 Expect Syntax Error: tasks/coverage/typescript/tests/cases/compiler/moduleResolutionWithExtensions_unexpected2.ts
@@ -5808,6 +5804,14 @@ Expect to Parse: tasks/coverage/typescript/tests/cases/conformance/statements/Va
    ·        ────────────────
    ╰────
 
+  × TS(1540): A 'namespace' declaration should not be declared using the 'module' keyword. Please use the 'namespace' keyword instead.
+    ╭─[typescript/tests/cases/compiler/escapedIdentifiers.ts:25:9]
+ 24 │ }
+ 25 │ declare module moduleType\u0032 { 
+    ·         ──────
+ 26 │     export var baz2: number;
+    ╰────
+
   × TS(1030): 'export' modifier already seen.
    ╭─[typescript/tests/cases/compiler/exportAlreadySeen.ts:2:12]
  1 │ namespace M {
@@ -8078,6 +8082,38 @@ Expect to Parse: tasks/coverage/typescript/tests/cases/conformance/statements/Va
  13 │     
     ╰────
 
+  × TS(1540): A 'namespace' declaration should not be declared using the 'module' keyword. Please use the 'namespace' keyword instead.
+   ╭─[typescript/tests/cases/compiler/moduleKeywordDeprecated.ts:2:1]
+ 1 │ // Error
+ 2 │ module notok { }
+   · ──────
+ 3 │ module not.ok { }
+   ╰────
+
+  × TS(1540): A 'namespace' declaration should not be declared using the 'module' keyword. Please use the 'namespace' keyword instead.
+   ╭─[typescript/tests/cases/compiler/moduleKeywordDeprecated.ts:3:1]
+ 2 │ module notok { }
+ 3 │ module not.ok { }
+   · ──────
+ 4 │ declare module bad { }
+   ╰────
+
+  × TS(1540): A 'namespace' declaration should not be declared using the 'module' keyword. Please use the 'namespace' keyword instead.
+   ╭─[typescript/tests/cases/compiler/moduleKeywordDeprecated.ts:4:9]
+ 3 │ module not.ok { }
+ 4 │ declare module bad { }
+   ·         ──────
+ 5 │ declare module also.bad { }
+   ╰────
+
+  × TS(1540): A 'namespace' declaration should not be declared using the 'module' keyword. Please use the 'namespace' keyword instead.
+   ╭─[typescript/tests/cases/compiler/moduleKeywordDeprecated.ts:5:9]
+ 4 │ declare module bad { }
+ 5 │ declare module also.bad { }
+   ·         ──────
+ 6 │ 
+   ╰────
+
   × Expected a semicolon or an implicit semicolon after a statement, but found none
    ╭─[typescript/tests/cases/compiler/moduleKeywordRepeatError.ts:3:14]
  2 │