Add a new option for `stubtest`: `--ensure-runtime-generic`

Aperta
#19,032 0 commenti 1 reazione 1 assegnatario Vedi su GitHub

@sobolevn ci sta già lavorando.

Dal 5/5/2025.

Valutazione

Questa issue non è ancora stata valutata.

Descrizione

feature topic-stubtest

In django-stubs we have a problem: some types that we declare generic are not generic in runtime.

We have a special package to monkeypatch runtime types to add __class_getitem__ to classes: https://github.com/typeddjango/django-stubs/blob/08cdfe576d62fc3a2dfc33197a3260cb0a0dc097/ext/django_stubs_ext/patch.py#L56

But, we cannot really catch this. We have a lot of report about some type being generic in stubs but not in runtime. And we have to add new entries to our list of patched types.

We would really love to see --ensure-runtime-generic option for stubtest which will check that types that are generic in stubs are also generic in runtime.

It should be switched off by default.

I can work on this if others are fine with the idea itself.

Lingua principale
Python
Stelle
20.6k
Fork
3.3k
Merge medio
1g 18h
PR unite (30g)
54

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di python/mypy

Tutte le issue di python/mypy

Issue simili

Altre issue su Python

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.