(🐞) `Protocol`s that narrow to modules become `Any`
Offen
Dieses Issue hat noch niemand übernommen.
bug
topic-type-narrowing
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
from typing import Protocol
import test2 # def foo() -> None: ...
class P(Protocol):
def foo(self) -> None: ...
a: P = test2
reveal_type(a.foo()) # None
a = test2
reveal_type(a.foo()) # Any
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
Beginnen Sie mit der Ausführung des bereitgestellten Protocol-Beispiels mit dem Modul test2 und vergleichen Sie die beiden Ergebnisse von reveal_type. Verfolgen Sie den Typprüfpfad für die Zuweisung eines Moduls an P, und betrachten Sie das Problem als gelöst, wenn beide Zuweisungen den Typ der Protocol-Methode beibehalten, sodass a.foo() als None statt als Any ausgegeben wird.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 42/100