We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
The functions future() and future_save() use Coroutine as parameter types, where Awaitable would be enough.
future()
future_save()
Coroutine
Awaitable
Use Awaitable as parameter type.
Example failing in type checker but not at execution time
def untap_async[**P](a: Callable[P, Awaitable[object]]) -> Callable[P, Awaitable[None]]: async def inner(*args: P.args, **kwargs: P.kwargs) -> None: await a(*args, **kwargs) return inner async def foo(): ... future(untap_async())
python
returns
pyrefly
Bug report
What's wrong
The functions
future()andfuture_save()useCoroutineas parameter types, whereAwaitablewould be enough.How is that should be
Use
Awaitableas parameter type.Example failing in type checker but not at execution time
System information
pythonversion: 3.14.2returnsversion: 0.27.0pyreflyversion: 0.64.1