Overloaded generic constructors can cause spurious errors in class methods
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
This fails, while it shouldn't:
from typing import TypeVar, Generic, overload
T = TypeVar('T')
class C(Generic[T]):
@overload
def __new__(cls) -> C[None]: ...
@overload
def __new__(cls, item: T) -> C[T]: ...
def __new__(cls, item=None):
...
@classmethod
def f(cls, x: T) -> T:
return x
C.f(42) # Argument 1 to "f" of "C" has incompatible type "int"; expected "None"
I think the same also will happen with __init__(). The problem is because the return type of the first overload is always passed as an instance type to analyze_class_attribute_access().
Note: enabling test case testGenericClassInGenericFunctionOverloadedConstructor is blocked on this.
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 bei analyze_class_attribute_access() und reproduziere den im Issue gezeigten Fall eines überladenen generischen Konstruktors. Untersuche, warum der Rückgabetyp des ersten Overloads als Instanztyp verwendet wird, und prüfe anschließend das zugehörige init-Verhalten. Aktiviere testGenericClassInGenericFunctionOverloadedConstructor und bestätige, dass der fälschlicherweise auftretende Fehler bezüglich einer Klassenmethode nicht mehr auftritt.
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
- Klar beschrieben
- Anfängerfreundlichkeit
- 45/100