"Statement is unreachable" false positive when calling `callable` on union with `object`
Offen
Dieses Issue hat noch niemand übernommen.
bug
topic-reachability
topic-type-narrowing
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
def foo(value: object | str) -> None:
if callable(value):
print(1) # Statement is unreachable [unreachable]
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 verlinkte mypy-play-Beispiel zu reproduzieren, und verfolge dann die Callable-basierte Typverengung und die Unreachable-Diagnosen in mypy. Erledigt ist die Aufgabe, wenn das Beispiel print(1) nicht mehr als unreachable meldet und eine Regressionstestabdeckung für den reproduzierten Fall vorhanden ist.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- compilers, devtools
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Klar beschrieben
- Anfängerfreundlichkeit
- 38/100