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.

Comienza con el TypeScript Playground enlazado y ejecuta el ejemplo de código proporcionado para reproducir el diagnóstico. Investiga cómo el compilador gestiona el narrowing, las asserts functions y el bucle alrededor del initializer. Se considerará completado cuando el ejemplo deje de indicar que result se referencia en su propio initializer, mientras el comportamiento de narrowing esperado siga intacto.