Type of generic property subclass reveals <nothing>
Nessuno ha ancora preso questa issue.
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Metriche di merge delle PR
- Metriche PR in attesa
Descrizione
Bug Report
When subclassing property and returning a generic type, mypy reveals <nothing> as the type of the property.
Pyright reveals the expected type.
To Reproduce
from typing import Any, Generic, Optional, Type, TypeVar
T = TypeVar("T")
class customProperty(property, Generic[T]):
def __get__(self, obj: Any, owner: Optional[Type] = None) -> T:
return super().__get__(obj, owner)
class C:
@customProperty
def prop(self) -> int:
return 1
reveal_type(C().prop)
Expected Behavior
Revealed type is "builtins.int"
Actual Behavior
Revealed type is "<nothing>"
Your Environment
- Mypy version used: 0.950
- Mypy command-line flags: none
- Mypy configuration options from
mypy.ini(and other config files): none - Python version used: 3.10
- Operating system and version: Ubuntu 22.04
Pyright 1.1.244 however seems to get it right and returns the expected type
Type of "C().prop" is "int"
This could be related to #11115
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Inizia eseguendo la riproduzione Python fornita con mypy 0.950 o con un checkout aggiornato e confronta il risultato di reveal_type con l'int atteso. Traccia la gestione delle properties generiche nelle sottoclassi e la issue correlata #11115; il lavoro è completo quando C().prop viene rivelato come builtins.int invece di , con un test di regressione per il caso.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- compilers
- Tipo di issue
- Bug
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 45/100