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.

Start with the linked TypeScript Playground and run the provided code sample to reproduce the diagnostic. Investigate the compiler's handling of narrowing, asserts functions, and the loop around the initializer. Done means the sample no longer reports that result is referenced in its own initializer while the expected narrowing behavior remains intact.