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

Commencez par exécuter les deux exemples minimaux avec mypy --strict sur Python 3.8, en utilisant comme références les mypy playgrounds liés, l’un qui réussit et l’autre qui échoue. Cherchez pourquoi le déplacement de la fonction décorée avec types.coroutine modifie le résultat ; c’est terminé lorsque les deux ordres de définition obtiennent le même résultat correct du contrôle de typage.