[1.16 regression] Incompatible types error when using `Enum`s of a `NamedTuple`

Aperta
#19,242 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
38/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
python
Ambito
compilers

Direzione di ricerca

Inizia con la riproduzione mypy-play collegata e lo snippet Foo/FooEnum incorporato, confrontando mypy 1.15 con 1.16 su Python 3.13. Traccia il percorso del controllo dei tipi per i membri di Enum che ereditano da NamedTuple. Il lavoro è completato quando l’assegnazione viene nuovamente accettata e la copertura di regressione verifica che le classi semplici e le dataclasses rimangano inalterate.

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

Descrizione

bug topic-enum

Bug Report

Seeing this regression on mypy 1.16 with Enums of NamedTuples values.

Note: Enums of plain classes or dataclasses work as expected.

To Reproduce

https://mypy-play.net/?mypy=1.16.0&python=3.13&flags=strict&gist=2c5d8ca22757aee67d917d8fec20ad7f

from enum import Enum
from typing import NamedTuple

class Foo(NamedTuple):
    pass

class FooEnum(Foo, Enum):
    ITEM = Foo()

foo: Foo = FooEnum.ITEM  # works on 1.15 but not 1.16

Actual Behavior

error: Incompatible types in assignment (expression has type "FooEnum", variable has type "Foo")  [assignment]

Your Environment

  • Mypy version used: 1.16
  • Mypy command-line flags: defaults
  • Mypy configuration options from mypy.ini (and other config files): none
  • Python version used: 3.13
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.