Code after `yield from` a generator that cannot end should be unreachable

Bug Report

Split off from https://github.com/python/mypy/issues/7374#issuecomment-944883194

To Reproduce

from typing import Generator, NoReturn, Union

def inf() -> Generator[str, None, NoReturn]:
    while True:
        yield "xyz"


def generate(x: Union[str, int]) -> Generator[str, None, int]:
    if isinstance(x, str):
        yield from inf()  # `yield from` will never return, because the generator never returns 

    return x  # error: Incompatible return value type (got "Union[str, int]", expected "int")

Expected Behavior

No error

Actual Behavior

An error.

Your Environment

Reproduced in mypy-play.

• Mypy version used: 1.16.1
• Mypy command-line flags: N/A
• Mypy configuration options from mypy.ini (and other config files): N/A
• Python version used: 3.12

Reproduce the example in mypy-play using the reported mypy 1.16.1 environment, focusing on control-flow handling after yield from of a NoReturn generator. Trace the relevant generator and return-type analysis entry points; done means the example produces no incompatible return-value error while other return checking remains intact.