Coroutine functions should return Coroutine, not Awaitable

[jpochyla]

async def coro_func() -> None:
    pass
c = coro_func()
reveal_type(c)  # prints typing.Awaitable[builtins.None]

c above has all fields of typing.Coroutine, you can send and throw on it, but the type doesn't reflect that. Why?

[JelleZijlstra]

This seems like a mypy issue, not a typing issue. I agree though that Coroutine makes more sense, but I'm not deeply familiar with the async-related type hierarchy.

[ilevkivskyi]

Yes, I just checked, and it looks like all examples in typing docs and in PEP 484 are correct. So that this is a purely mypy issue. @jpochyla could you please close this one and open anew one at mypy tracker?

[gvanrossum]

But you can't iterate over it right?

[emmatyping]

@gvanrossum I'm not sure what you mean by "it", but yes, you can iterate over the given sample code.

(Edited, apparently I need to refresh what I know about async and iterators in Python 3.6).

[gvanrossum]

I should not respond while on vacation from a phone. I was thinking of regular generators. Sorry!

[jpochyla]

Thank you, didn't realize this is in fact mypy issue. Closing in favor of python/mypy#3569