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 el ejemplo en mypy-play con el entorno mypy 1.16.1 indicado, centrándote en el manejo del flujo de control después de yield from de un generador NoReturn. Rastrea los puntos de entrada relevantes del análisis de generadores y tipos de retorno; el trabajo estará terminado cuando el ejemplo no produzca ningún error de valor de retorno incompatible, mientras las demás comprobaciones de retorno sigan intactas.