Type async function result as CoroutineType instead of Coroutine
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 48/100
- Tipo di issue
- Bug
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Attiva
- Ambito
- backend-api-design, testing-qa
Direzione di ricerca
Start by reading Pyrefly’s handling of async function return types and how it models coroutine objects; the issue provides a minimal reproduction in its body. Compare the inferred result with the expected CoroutineType[Any, Any, int] assignment and check whether the behavior matches Pyright. Done means the example type-checks without the reported bad-assignment error.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Describe the Bug
async def f() -> int:
return 1
c: CoroutineType[Any, Any, int] = f()
gives:
ERROR `Coroutine[Unknown, Unknown, int]` is not assignable to `CoroutineType[Any, Any, int]` [bad-assignment]
I'd expect this assignment to be accepted as calling an async def function produces an object whose runtime type is exactly CoroutineType. Pyright accepts this example. Could Pyrefly infer the more specific type in this case?
Sandbox Link
(Only applicable for extension issues) IDE Information
No response
- Lingua principale
- Rust
- Stelle
- 7.2k
- Fork
- 578
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Ha un modello di pull request
- Leggi 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.
Altre issue di facebook/pyrefly
-
False positive: `Protocol` with `EXCLUDED_ATTRIBUTES` cannot be used with `issubclass()`Forse già presa @amas127 l’ha presa oggi. Apertatypechecking
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 57/100
-
typechecking
Difficoltà 4/5 3-5 giorni Idoneità per principianti 57/100
-
configuration quansight
Difficoltà 3/5 Mezza giornata Idoneità per principianti 55/100
-
Version-gated early exits: `from copy import replace` is accepted but `copy.replace` is rejectedApertaquansight scoping-control-flow
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
Tutte le issue di facebook/pyrefly
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
datafusion-contrib/StreamFusion#653 ·
I maintainer di solito rispondono entro 1 giorno
-
bug CLI exec session
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
tursodatabase/turso#11734 ·
I maintainer di solito rispondono entro 1 giorno
-
quality testing
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
I maintainer di solito rispondono entro 1 giorno
-
compatibility
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno