Difference between `builtins.type` and `Type[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
I have a protocol:
class SupportsStr(Protocol):
def __str__(self) -> str:
...
Surprisingly, builtins.type is compliant with this, while Type[Any] isn't.
To Reproduce
Link to mypy playground: https://mypy-play.net/?mypy=latest&python=3.11&gist=355a1b96812a523f6e374eb8ca6f4635
Expected Behavior
I would think both should be compliant, given that the typing.Type docs states that:
Type[Any]is equivalent to Type which in turn is equivalent to type, which is the root of Python’s metaclass hierarchy.
Actual Behavior
Surprisingly, builtins.type is compliant with this, while Type[Any] isn't.
Your Environment
See link to mypy playground.
Mypy 0.960 and python 3.11
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, die Abweichung im verlinkten mypy playground zu reproduzieren, und vergleiche builtins.type mit Type[Any] unter den angegebenen Python- und mypy-Versionen. Verfolge, wie jeder Typ für das SupportsStr-Protokoll interpretiert wird, und berücksichtige die dokumentierte Äquivalenz; fertig ist die Arbeit, wenn das Verhalten dieser Erwartung entspricht und durch einen Regressionstest abgedeckt ist.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 35/100