Imcomplete typing at @given decorator for async

[humrochagf]

Hello!

First I would like to thank you all for this awesome project 🙂

I'm using it with pytest to run some async tests and I noticed that type annotation seems incomplete for async tests.

I wrote a quick example to demonstrate the case, the dependencies needed to run it are:

pip install mypy pytest pytest-asyncio hypothesis

Then created a tests.py with the following content:

import pytest
from hypothesis import given
from hypothesis import strategies as st


@given(st.integers())
@pytest.mark.asyncio
async def test_hypotesis(x: int) -> None:
    assert isinstance(x, int)

If you run mypy . you get the following:

tests.py:6: error: Argument 1 has incompatible type "Callable[[int], Coroutine[Any, Any, None]]"; expected "Callable[..., None]"
Found 1 error in 1 file (checked 1 source file)

Checking the decorator it seems to cover Callable cases but not the ones that uses Coroutines.