UnionType of `Callable[P, Awaitable[T]] | Callable[P, T]` not being matched by async function.
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
I'm trying to annotate a decorator that can take both async and normal functions using
def decorator(func: Callable[P, Awaitable[T]] | Callable[P, T])
...
The Callable[P, Awaitable[T]] variant does not match when using the decorator with an async function and instead raises an error
"Argument 1 to "decorator" has incompatible type "Callable[[int], Coroutine[Any, Any, str]]"; expected "Callable[[VarArg(Never), KwArg(Never)], Awaitable[Never]] | Callable[[VarArg(Never), KwArg(Never)], Never]" [arg-type]"
This may be related to #16451 which was fixed by 1.7.1
To Reproduce
https://mypy-play.net/?mypy=latest&python=3.11&flags=new-type-inference&gist=c5255c4185cf954aa32bc8f8b2c04c10
Expected Behavior
Both sync and async should be type matched correctly
Actual Behavior
I get a strange error with the async variant (main.py:61: error: Argument 1 to "decorator" has incompatible type "Callable[[int], Coroutine[Any, Any, str]]"; expected "Callable[[VarArg(Never), KwArg(Never)], Awaitable[Never]] | Callable[[VarArg(Never), KwArg(Never)], Never]" [arg-type])
Your Environment
- Mypy version used: 1.7.1 compiled
- Mypy command-line flags: new-type-inference (by default)
- Python version used: 3.11.6
Also replicated in the playground with 1.7.1 compiled and Python 3.11 and 3.12.
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Reproduziere den Bericht im verlinkten mypy-play-Beispiel mit Python 3.11 und dem Flag new-type-inference, wobei der Fehler in main.py:61 im Mittelpunkt steht. Verfolge, wie der Type Checker den UnionType von Callable-Varianten mit der asynchronen Funktion abgleicht. Als erledigt gilt die Aufgabe, wenn sowohl die synchrone als auch die asynchrone Verwendung des Decorators ohne den gemeldeten arg-type-Fehler typgeprüft wird.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- devtools
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 35/100