Spurious "referenced directly or indirectly in its own initializer" when combined with narrowing, asserts function, and loop

Bug Report

🔎 Search Terms

referenced directly or indirectly asserts

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

Playground Link

💻 Code

declare const myRequire: ((p: string) => {} | undefined) | undefined;

declare function assertIsDefined<T>(value: T): asserts value is NonNullable<T>

function fn1() {
    if (!myRequire) {
        return;
    }

    for (const p of ["a", "b"]) {
        // Error?
        const result = myRequire("something");
        assertIsDefined(result);
    }
}

🙁 Actual behavior

result is claimed to be referenced directly or indirectly in its initializer.

Modifying the code in various ways makes the error go away.

🙂 Expected behavior

No error; there's no relationship between the initializer and the result.

リンクされている TypeScript Playground から始め、提供されたコードサンプルを実行して診断を再現します。コンパイラーが narrowing、asserts functions、および initializer の周辺のループをどのように処理しているかを調査します。サンプルが result が自身の initializer 内で参照されていると報告しなくなり、期待される narrowing の動作が維持されれば完了です。