`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

Reproduce el problema con los dos archivos mostrados, someModule.d.ts e index.ts, utilizando la versión de TypeScript indicada o una compilación actual. Compara los diagnósticos para el acceso directo y los accesos mediante window y globalThis, y luego sigue el procesamiento de export as namespace por parte del compilador. Se considera terminado cuando los tres accesos al namespace global en el archivo de módulo producen errores en tiempo de compilación.