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

まず、Python 3.8 上で mypy --strict を使って 2 つの最小例を実行し、リンクされている成功する mypy playground と失敗する mypy playground を参照してください。types.coroutine でデコレートされた関数を移動すると結果が変わる理由を調査してください。完了条件は、どちらの定義順でも同じ正しい型チェック結果が得られることです。