generics used in type aliases incorrectly cause `Expression type contains "Any"` error
Offen
Dieses Issue hat noch niemand übernommen.
bug
topic-disallow-any
topic-type-alias
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
from typing import _T as T, Generic
class A(Generic[T]):...
NG = A[T] # error: Expression type contains "Any" (has type "Type[A[Any]]") [misc]
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 minimale Python-Beispiel im verlinkten mypy-play playground zu reproduzieren, und untersuche, wie der generische Typalias analysiert wird. Verfolge, warum A[T] zu Type[A[Any]] wird, und füge dann einen Regressionstest hinzu, der zeigt, dass der gültige Alias nicht länger den Fehler Expression type contains "Any" auslöst.
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
- 45/100