redundant-expr does not catch always-True `if`
Offen
Dieses Issue hat noch niemand übernommen.
bug
topic-reachability
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
If the expression for an if statement is always true, then it is obviously redundant.
To Reproduce
from typing import Literal
class X:
def __bool__(self) -> Literal[True]:
return True
if X():
print("blah!")
Expected Behavior
Error on if X()
Actual Behavior
No error
Your Environment
- Mypy version used: 1.17.1
- Mypy command-line flags:
--enable-error-code=redundant-expr - Mypy configuration options from
mypy.ini(and other config files): N/A - Python version used: 3.14
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
Das Issue enthält einen Python-Reproduzierer und das Flag --enable-error-code=redundant-expr; führe es zuerst mit mypy 1.17.1 aus. Verfolge die Diagnose für den redundanten Ausdruck und füge einen Regressionstest hinzu, der von bool zurückgegebenes Literal[True] abdeckt; abgeschlossen, wenn das Beispiel einen Fehler meldet, ohne andere Fälle zu ändern.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 48/100