`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

示されている2つのファイル someModule.d.ts と index.ts を、報告された TypeScript バージョンまたは現在のビルドで使用して、問題を再現します。直接アクセス、window 経由のアクセス、globalThis 経由のアクセスについて診断結果を比較し、その後、コンパイラーによる export as namespace の処理を追跡します。モジュールファイル内の3つすべてのグローバル namespace へのアクセスでコンパイル時エラーが発生すれば完了です。