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

Reproduisez l’exemple dans mypy-play avec l’environnement mypy 1.16.1 indiqué, en vous concentrant sur la gestion du flux de contrôle après yield from d’un générateur NoReturn. Suivez les points d’entrée pertinents de l’analyse des générateurs et des types de retour ; le travail est terminé lorsque l’exemple ne produit aucune erreur de valeur de retour incompatible, tout en laissant intactes les autres vérifications des retours.