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.

Bắt đầu với TypeScript Playground được liên kết và chạy mẫu mã được cung cấp để tái hiện chẩn đoán. Điều tra cách trình biên dịch xử lý narrowing, asserts functions và vòng lặp xung quanh initializer. Hoàn thành khi mẫu không còn báo cáo rằng result được tham chiếu trong initializer của chính nó, đồng thời hành vi narrowing mong đợi vẫn được giữ nguyên.