(🐞) No error when assigning non-concrete type object to variable of `type` bound with a union (`Protocol`, `abstract`)
Offen
Dieses Issue hat noch niemand übernommen.
bug
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
from typing import Protocol, Callable
from abc import ABC, abstractmethod
class A(ABC):
@abstractmethod
def f(self) -> None: ...
class P(Protocol):
a: int
ta1: type[A] = A # error
ta2: type[A | P] = A # no error
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
Führe die verknüpfte mypy-play-Reproduktion mit dem gezeigten Python-Code und den strict-Flags aus und verfolge anschließend den Type-Checking-Pfad für Zuweisungen an einen Typ, der durch eine Union mit einem Protocol oder einer abstrakten Klasse gebunden ist. Fertig ist die Aufgabe, wenn die zweite Zuweisung dieselbe passende Diagnose wie die erste erhält und Tests den gemeldeten Fall abdecken.
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
- 35/100