Definition Order Matters For `types.coroutine` Decorator

This fails mypy --strict (v0.782):

from types import coroutine
from typing import Any, Iterator

async def my_async_func() -> None:
    await my_coro_func()

@coroutine
def my_coro_func() -> Iterator[None]:
    yield None

but this passes:

from types import coroutine
from typing import Any, Iterator

@coroutine
def my_coro_func() -> Iterator[None]:
    yield None

async def my_async_func() -> None:
    await my_coro_func()

MyPy playground links:

• fail: https://mypy-play.net/?mypy=latest&python=3.8&flags=strict&gist=06aa146dfa9d86ca94b707cfa2367f27
• pass: https://mypy-play.net/?mypy=latest&python=3.8&flags=strict&gist=df2b842045c756988b171d6ebb9b3b6c

Empieza ejecutando los dos ejemplos mínimos con mypy --strict en Python 3.8, usando como referencia los mypy playgrounds enlazados, uno correcto y otro que falla. Investiga por qué mover la función decorada con types.coroutine cambia el resultado; la tarea estará terminada cuando ambos órdenes de definición reciban el mismo resultado correcto de comprobación de tipos.