python / python/mypy

`isinstance` doesn't work with `TypeAlias` for classes inherited from `NamedTuple`

Aperta
#21,100 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

bug topic-named-tuple topic-type-alias
Lingua principale
Python
Stelle
20.6k
Fork
3.3k
Metriche di merge delle PR
Metriche PR in attesa

Descrizione

Bug Report

isinstance throws Parameterized generics cannot be used with class or instance checks [misc] for TypeAlias for a class inherited from NamedTuple. This is related to https://github.com/python/mypy/issues/18488

To Reproduce

from typing import Any, TypeAlias, NamedTuple

class Foo(NamedTuple):
    pass

Alias: TypeAlias = Foo

def is_foo(x: Any) -> bool:
    return isinstance(x, Alias)

https://mypy-play.net//?mypy=latest&python=3.13&gist=91206dbc88693a2e88ec03e79a8d8235

Expected Behavior
Should not throw.

Actual Behavior
Throws Parameterized generics cannot be used with class or instance checks [misc]

  • Mypy version used: 1.19.1
  • Mypy command-line flags: mypy . --strict
  • Mypy configuration options from pyproject.toml:
[tool.mypy]
strict = true
allow_redefinition = true
allow_redefinition_new = true
local_partial_types = true
follow_untyped_imports = true
  • Python version used: 3.13.11

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.

Direzione di ricerca

Inizia con la riproduzione fornita di NamedTuple, TypeAlias e isinstance in mypy-play, usando mypy 1.19.1 con Python 3.13 e impostazioni strict. Segui la diagnostica che segnala i generics parametrizzati nei controlli di classe o di istanza, quindi conferma la correzione rieseguendo la riproduzione e verificando che non venga segnalato alcun errore.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
python
Ambito
devtools
Tipo di issue
Bug
Difficoltà
3/5
Tempo stimato
1-2 giorni
Stato di attività
Tranquilla
Chiarezza
Abbastanza chiara
Idoneità per principianti
52/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.