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

Riproduci l’esempio in mypy-play con l’ambiente mypy 1.16.1 indicato, concentrandoti sulla gestione del flusso di controllo dopo yield from di un generatore NoReturn. Traccia i punti di ingresso pertinenti dell’analisi dei generatori e dei tipi restituiti; il lavoro è completato quando l’esempio non produce alcun errore di valore restituito incompatibile, mentre gli altri controlli sui valori restituiti rimangono intatti.