python / python/mypy

Daemon does not progate change from decorated to async function

Offen
#13,706 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

bug topic-async topic-daemon
Vorherrschende Sprache
Python
Sterne
20.6k
Forks
3.3k
PR-Merge-Kennzahlen
PR-Kennzahlen ausstehend

Beschreibung

This fine-grained incremental test case fails (no error on second run):

[case testDecoratedToAsyncReExported]
from mm import f
x: int = f()

[file mm.py]
from m import f

[file m.py]
from d import singleton

@singleton
def f() -> int:
    return 0

[file m.py.2]
async def f() -> str:
    return 'x'

[file d.py]
from typing import Callable

class Singleton:
    def __call__(self) -> int:
        return 0

def singleton(f: Callable[[], int]) -> Singleton: pass
[out]
==
main:2: error: Incompatible types in assignment (expression has type "Coroutine[Any, Any, str]", variable has type "int")

It seems necessary to have a re-export, a decorator, and an async function for this to work. Also changing the return type of the functions seems required. I have no idea so far why this corner case fails.

This fails in 0.971 so it's not a recent regression.

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 Fall testDecoratedToAsyncReExported im fein abgestuften inkrementellen Test-Harness unter Verwendung der aufgeführten Snapshots von mm.py, m.py und d.py. Verfolge, warum der zweite Lauf keinen Fehler erzeugt; abgeschlossen ist die Aufgabe, wenn der zweite Lauf die gezeigte incompatible-types-Diagnose meldet, ohne verwandte inkrementelle Tests zu beeinträchtigen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
python
Bereich
tooling
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.