python / python/mypy

UnionType of `Callable[P, Awaitable[T]] | Callable[P, T]` not being matched by async function.

Offen
#16,646 1 Kommentar 2 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

bug
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

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Ö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

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.