python / python/mypy

False positive with disallow-any-explicit and `...` in `Callable` in bound of type var

Offen
#9,496 9 Kommentare 1 Reaktion 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

bug priority-2-low topic-calls topic-disallow-any
Vorherrschende Sprache
Python
Sterne
20.6k
Forks
3.3k
PR-Merge-Kennzahlen
PR-Kennzahlen ausstehend

Beschreibung

I want a generic function type, but I don't want to get spurious Any errors on every usage.

from typing import Callable, TypeVar

Fn = TypeVar("Fn", bound=Callable[..., object])

mypy --disallow-any-explicit .

error: Explicit "Any" is not allowed
    Fn = TypeVar("Fn", bound=Callable[..., object])
    ^

I understand that this is actually usable as unsafe Any garbage:

def foo(fn: Fn) -> Fn:  # type safe usage
    fn(1)  # not type safe usage

So this should be the only place where the error appears.

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

Beginne damit, das Problem mit mypy --disallow-any-explicit anhand des gezeigten Beispiels TypeVar("Fn", bound=Callable[..., object]) zu reproduzieren, und verfolge dann, wie Diagnosen zu explizitem Any mit ... in einer Callable-Bindung umgehen. Als abgeschlossen gilt die Aufgabe, wenn die Bindung als der beabsichtigte unsichere Any-Fall diagnostiziert wird, ohne bei jeder Verwendung von Fn überflüssige Fehler zu erzeugen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
python
Bereich
devtools
Issue-Typ
Bug
Schwierigkeit
3/5
Geschätzter Aufwand
1-2 Tage
Aktivitätsstatus
Ruhig
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
48/100

Neue Issues direkt in Ihr Postfach

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