False positive with disallow-any-explicit and `...` in `Callable` in bound of type var
Dieses Issue hat noch niemand übernommen.
- 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
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
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