mypy fails to recognize functions as generators when `sys.platform` is used in conditions

mypy seems to be too thorough when interpreting if sys.platform == ... conditions. Consider the following file:

import sys
from typing import Generator

def f() -> Generator[int, None, None]:
    if sys.platform == "darwin":
        yield 1

I'm trying to run mypy for this file on Linux using mypy gen.py

Expected behavior:
mypy test passes for this file on Linux

Actual behavior:
I get this on Linux:

$ mypy gen.py 
gen.py:4: error: Missing return statement

At the same time, mypy on macOS does not complain. I think that this is related to #698

Platform information:

$ uname -sr; mypy --version; python --version
Linux 4.15.0-34-generic
mypy 0.630
Python 2.7.15rc1

Reproduce el informe usando el ejemplo gen.py y ejecuta mypy en Linux; después, compara el resultado con el comportamiento en macOS. Rastrea cómo el checker gestiona las condiciones de sys.platform y las funciones generadoras; el trabajo estará terminado cuando el ejemplo ya no informe de una sentencia return ausente en Linux sin causar una regresión en el resultado de macOS.