`export let` variable doesn't require the variable to be assigned within current file

🔎 Search Terms

export let, undefined, assignment, assigned

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about export let

⏯ Playground Link

No response

💻 Code

// a.ts
export let x: { foo(): void }

if (!!false) {
    // @ts-expect-error Variable 'x' is used before being assigned.
    x.foo()
}

// b.ts
import { x } from './a.ts'

// TS compiles, throws at runtime
x.foo()

🙁 Actual behavior

TS compiles, only throws at runtime.

🙂 Expected behavior

TS refuses to compile without ! non-null assertion, with error probably being reported in the exporting module a.ts rather than the importing module b.ts.

Additional information about the issue

No response

从 a.ts 和 b.ts 中的跨文件示例开始，重现当前的编译和运行时行为。跟踪对导出的 x 进行的明确赋值检查及其在导入后的使用；完成的标准是编译器报告缺少赋值，而不是允许运行时失败。