no error when setting property defined without decorator to incorrect type
Offen
Dieses Issue hat noch niemand übernommen.
feature
topic-descriptors
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
class A:
def _get_foo(self) -> int:
...
def _set_foo(self, value: int) -> None:
...
foo = property(fget=_get_foo, fset=_set_foo)
a = A()
a.foo = "" # no error
playground
related: #13127
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 mit dem Property-Beispiel und seiner mypy-play-Reproduktion und vergleiche anschließend das Verhalten mit dem verwandten Issue #13127. Verfolge, wie mypy den Setter-Typ für eine Property ableitet, die ohne Decorator erstellt wurde. Als abgeschlossen gilt, dass die gezeigte Zuweisung zu einer Property, deren Setter int erwartet, als Typfehler gemeldet wird und eine entsprechende Regressionstestabdeckung vorhanden ist.
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
- 35/100