Add missing ambient check to vMS export= error

Author: andrewbranch

src/compiler/checker.ts

@@ -44313,15 +44313,15 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
                 if (getAllSymbolFlags(sym) & SymbolFlags.Value) {
                     // However if it is a value, we need to check it's being used correctly
                     checkExpressionCached(id);
-                    if (!isIllegalExportDefaultInCJS && compilerOptions.verbatimModuleSyntax && getTypeOnlyAliasDeclaration(sym, SymbolFlags.Value)) {
+                    if (!isIllegalExportDefaultInCJS && !(node.flags & NodeFlags.Ambient) && compilerOptions.verbatimModuleSyntax && getTypeOnlyAliasDeclaration(sym, SymbolFlags.Value)) {
                         error(id,
                             node.isExportEquals
                                 ? Diagnostics.An_export_declaration_must_reference_a_real_value_when_verbatimModuleSyntax_is_enabled_but_0_resolves_to_a_type_only_declaration
                                 : Diagnostics.An_export_default_must_reference_a_real_value_when_verbatimModuleSyntax_is_enabled_but_0_resolves_to_a_type_only_declaration,
                             idText(id));
                     }
                 }
-                else if (!isIllegalExportDefaultInCJS && compilerOptions.verbatimModuleSyntax) {
+                else if (!isIllegalExportDefaultInCJS && !(node.flags & NodeFlags.Ambient) && compilerOptions.verbatimModuleSyntax) {
                     error(id,
                         node.isExportEquals
                             ? Diagnostics.An_export_declaration_must_reference_a_value_when_verbatimModuleSyntax_is_enabled_but_0_only_refers_to_a_type

tests/baselines/reference/verbatimModuleSyntaxDeclarationFile.symbols

@@ -0,0 +1,24 @@
+=== tests/cases/conformance/externalModules/type1.d.ts ===
+declare namespace NS {
+>NS : Symbol(NS, Decl(type1.d.ts, 0, 0))
+
+    type A = object;
+>A : Symbol(A, Decl(type1.d.ts, 0, 22))
+}
+
+export = NS;
+>NS : Symbol(NS, Decl(type1.d.ts, 0, 0))
+
+export as namespace MyTypes;
+>MyTypes : Symbol(MyTypes, Decl(type1.d.ts, 4, 12))
+
+=== tests/cases/conformance/externalModules/type2.d.ts ===
+import type * as NS from './type1';
+>NS : Symbol(NS, Decl(type2.d.ts, 0, 11))
+
+export = NS;
+>NS : Symbol(NS, Decl(type2.d.ts, 0, 11))
+
+export as namespace ModuleATypes;
+>ModuleATypes : Symbol(ModuleATypes, Decl(type2.d.ts, 2, 12))
+

tests/baselines/reference/verbatimModuleSyntaxDeclarationFile.types

@@ -0,0 +1,22 @@
+=== tests/cases/conformance/externalModules/type1.d.ts ===
+declare namespace NS {
+    type A = object;
+>A : object
+}
+
+export = NS;
+>NS : any
+
+export as namespace MyTypes;
+>MyTypes : error
+
+=== tests/cases/conformance/externalModules/type2.d.ts ===
+import type * as NS from './type1';
+>NS : error
+
+export = NS;
+>NS : any
+
+export as namespace ModuleATypes;
+>ModuleATypes : error
+

tests/cases/conformance/externalModules/verbatimModuleSyntaxDeclarationFile.ts

@@ -0,0 +1,15 @@
+// @verbatimModuleSyntax: true
+
+// @Filename: type1.d.ts
+declare namespace NS {
+    type A = object;
+}
+
+export = NS;
+export as namespace MyTypes;
+
+// @Filename: type2.d.ts
+import type * as NS from './type1';
+
+export = NS;
+export as namespace ModuleATypes;