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.

Inizia con il TypeScript Playground collegato ed esegui l’esempio di codice fornito per riprodurre la diagnostica. Analizza la gestione da parte del compilatore del narrowing, delle asserts functions e del ciclo attorno all’initializer. Il lavoro è completato quando l’esempio non segnala più che result è referenziato nel proprio initializer, mentre il comportamento di narrowing previsto rimane intatto.