[comparison-overlap] error on `Type[Any]` typed var compared with `Any`
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
Since mypy version 1.11 the comparison-overlap error occurred in the following code. This error did not occur in older versions that I have used before.
To Reproduce
from typing import Type, Any
def test(tp: Type[Any]) -> None:
if tp == Any:
return
Expected Behavior
No error
Actual Behavior
error: Non-overlapping equality check (left operand type: "type[Any]", right operand type: "<typing special form>")
[comparison-overlap]
if tp == Any:
^~~~~~~~~~
Your Environment
- Mypy version used: 1.11.1
- Mypy command-line flags:
--strict-equality - Mypy configuration options from
mypy.ini(and other config files): none - Python version used: 3.12.4
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ühren Sie den bereitgestellten Python-3.12.4-Reproducer mit mypy 1.11.1 und --strict-equality aus und verfolgen Sie anschließend, wie comparison-overlap den Vergleich von Type[Any] mit Any behandelt. Fügen Sie eine Regressionstestabdeckung für diesen Fall hinzu und verifizieren Sie, dass die Diagnose nicht mehr ausgegeben wird, während andere Prüfungen von --strict-equality intakt bleiben.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- devtools
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 45/100