asyncio.create_task doesn't accept coroutine like objects
Aperta
Nessuno ha ancora preso questa issue.
topic: asyncio
- Lingua principale
- Python
- Stelle
- 5.1k
- Fork
- 2.1k
- Merge medio
- 1g 19h
- PR unite (30g)
- 82
Descrizione
The following code fails to typecheck with latest mypy but works just fine at runtime.
from typing import Any
import asyncio
class MyCoro:
def __init__(self):
async def coro() -> None:
print("coro works!")
self.coro = coro()
def send(self, value: Any) -> None:
return self.coro.send(value)
def throw(self, exc: BaseException) -> None:
return self.coro.throw(exc)
def close(self) -> None:
return self.coro.close()
def __await__(self) -> Any:
return self.coro.__await__()
async def main() -> None:
coro = MyCoro()
await asyncio.create_task(coro)
asyncio.run(main())
Error:
cpython on isolate-decimal [?] via 🐍 v3.11.2
❯ mypy main.py
main.py:25: error: Argument 1 to "create_task" has incompatible type "MyCoro"; expected "Union[Generator[Any, None, <nothing>], Coroutine[Any, Any, <nothing>]]" [arg-type]
Found 1 error in 1 file (checked 1 source file)
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Riproduci l’esempio con mypy e ispeziona lo stub di typeshed per asyncio.create_task. Confronta i tipi degli argomenti accettati con il comportamento a runtime mostrato per MyCoro. Il lavoro è completato quando l’esempio supera il controllo dei tipi senza indebolire il comportamento di tipizzazione non correlato di asyncio.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- tooling
- Tipo di issue
- Bug
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 38/100