error: Expression is of type "Any", not "Any" (Using `Any` as a `type`)
Offen
Dieses Issue hat noch niemand übernommen.
bug
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Here is a minimum reproducible example of this bug:
from typing import Any, assert_type
def foo[T](typ: type[T]) -> T: ...
assert_type(foo(Any), Any)
reveal_type(foo(Any), Any)
reveal_type(Any)
which produces this output:
error: Expression is of type "Any", not "Any" [assert-type]
note: Revealed type is "typing.Any"
note: Revealed type is "def () -> typing.Any"
I did not expect this to cause any mypy errors.
Or, it would say that Any is not a type.
Your Environment
- Mypy version used: mypy 1.19.1 (compiled: yes)
- Mypy command-line flags: NA
- Mypy configuration options from
mypy.ini(and other config files): NA - Python version used: 3.13.9 (also reproduced in 3.14.3)
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
Es ist weder eine Repository-Datei noch ein Test angegeben. Führe zunächst den bereitgestellten Reproducer gegen mypy 1.19.1 aus und verfolge anschließend, wie Any behandelt wird, wenn es an type[T] übergeben wird und von assert_type verarbeitet wird; abgeschlossen ist die Änderung, wenn das Beispiel keinen fehlerhaften assert-type-Fehler erzeugt und dabei die aufgedeckten Typen beibehält.
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