For loop with a `Generator[Any, Any, NoReturn]` doesn't cause unreachable code.

Bug Report

A for loop iterating over a Generator[Any, Any, NoReturn] isn't assumed to continue indefinitely.

To Reproduce

https://mypy-play.net/?mypy=latest&python=3.12&gist=cd9b4f28655f7a5460983d6c9a520331

from typing import Generator, NoReturn

def generator() -> Generator[int, None, NoReturn]:
    while True:
        yield 1

def foo() -> int:
    for x in generator():
        return x
    # Code past this point should be unreachable.
    # But mypy expects a return statement here.

Expected Behavior

Any code following for loops that iterate over unending generators should be recognized as unreachable, and the execution shouldn't branch.

Actual Behavior

main.py:7: error: Missing return statement  [return]

Your Environment

• Mypy version used: 1.15.0
• Python version used: 3.12

Start with the Python reproducer in the issue's mypy-play link and the reported main.py example, then trace mypy's handling of for loops over generators annotated with NoReturn. The fix is complete when code after an unending generator loop is treated as unreachable and the example no longer reports a missing return statement.