`export as namespace` still allows access via properties in module files

TypeScript Version: 3.8.0-dev.20200119

Search Terms: export as namespace

Code

someModule.d.ts:

export function foo (bar: string): void;
export as namespace someModule;

index.ts:

import { foo } from './someModule';

someModule.foo;
window.someModule.foo;
globalThis.someModule.foo;

Expected behavior:

All of the attempts to access someModule as a global namespace in index.ts should result in compile-time errors, as index.ts is not a script file.

Actual behavior:

window.someModule.foo and globalThis.someModule.foo do NOT result in compile-time errors.

Playground Link: N/A (requires multiple files)

Related Issues: None found

Riproduci il problema con i due file mostrati, someModule.d.ts e index.ts, usando la versione di TypeScript indicata o una build corrente. Confronta le diagnostiche per l'accesso diretto e gli accessi tramite window e globalThis, quindi traccia la gestione di export as namespace da parte del compilatore. Il lavoro è completato quando tutti e tre gli accessi al namespace globale nel file del modulo producono errori in fase di compilazione.