python / python/mypy

Assertion failure crash: `assert isinstance(node, Var), node` when dataclass has namedtuple() field

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

Nessuno ha ancora preso questa issue.

crash
Lingua principale
Python
Stelle
20.6k
Fork
3.3k
Metriche di merge delle PR
Metriche PR in attesa

Descrizione

Crash Report

mypy 2.1.0 and master (cbd8c82b74) crash on the fuzzed snippet below.

Traceback

Traceback (most recent call last):
  File ".venv-mypy/bin/mypy", line 6, in <module>
    sys.exit(console_entry())
  File "mypy/mypy/__main__.py", line 16, in console_entry
    main()
  File "mypy/mypy/main.py", line 154, in main
    res, messages, blockers = run_build(sources, options, fscache, t0, stdout, stderr)
  File "mypy/mypy/main.py", line 244, in run_build
    res = build.build(sources, options, None, flush_errors, fscache, stdout, stderr)
  File "mypy/mypy/build.py", line 422, in build
    result = build_inner(
  File "mypy/mypy/build.py", line 537, in build_inner
    graph = dispatch(sources, manager, stdout, connect_threads)
  File "mypy/mypy/build.py", line 4134, in dispatch
    process_graph(graph, manager)
  File "mypy/mypy/build.py", line 4602, in process_graph
    done, still_working, results = manager.wait_for_done(graph)
  File "mypy/mypy/build.py", line 1478, in wait_for_done
    process_stale_scc(graph, next_scc, self)
  File "mypy/mypy/build.py", line 4769, in process_stale_scc
    mypy.semanal_main.semantic_analysis_for_scc(graph, scc, manager.errors)
  File "mypy/mypy/semanal_main.py", line 97, in semantic_analysis_for_scc
    apply_class_plugin_hooks(graph, scc, errors)
  File "mypy/mypy/semanal_main.py", line 466, in apply_class_plugin_hooks
    with state.wrap_context():
  File "/usr/lib/python3.14/contextlib.py", line 162, in __exit__
    self.gen.throw(value)
  File "mypy/mypy/build.py", line 3063, in wrap_context
    yield
  File "mypy/mypy/semanal_main.py", line 469, in apply_class_plugin_hooks
    if not apply_hooks_to_class(
           ~~~~~~~~~~~~~~~~~~~~^
        state.manager.semantic_analyzer,
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    ...<4 lines>...
        errors,
        ^^^^^^^
    ):
    ^
  File "mypy/mypy/semanal_main.py", line 505, in apply_hooks_to_class
    ok = ok and hook(ClassDefContext(defn, decorator, self))
                ~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "mypy/mypy/plugins/dataclasses.py", line 970, in dataclass_class_maker_callback
    return transformer.transform()
           ~~~~~~~~~~~~~~~~~~~~~^^
  File "mypy/mypy/plugins/dataclasses.py", line 237, in transform
    attributes = self.collect_attributes()
  File "mypy/mypy/plugins/dataclasses.py", line 602, in collect_attributes
    assert isinstance(node, Var), node
           ~~~~~~~~~~^^^^^^^^^^^
AssertionError: TypeInfo(
  Name(crash.C.p)
  Bases(tuple[Any, ...])
  Mro(crash.C.p, builtins.tuple, typing.Sequence, typing.Reversible, typing.Collection, typing.Iterable, typing.Container, builtins.object)
  Names(
    _NT
    __annotations__ (dict[str, Any])
    __doc__ (str)
    __match_args__ (tuple[Literal['x'], Literal['y']])
    __new__
    __replace__
    _asdict
    _field_defaults (dict[str, Any])
    _field_types (dict[str, Any])
    _fields (tuple[str, str])
    _make
    _replace
    _source (str)
    x (Any)
    y (Any)))

To Reproduce

from collections import namedtuple
from dataclasses import dataclass

@dataclass
class C:
    p: 'Point' = namedtuple('Point', ['x', 'y'])

Your Environment

  • Mypy version used: 2.1.0 and cbd8c82b74
  • Mypy command-line flags: N/A
  • Mypy configuration options from mypy.ini (and other config files): N/A
  • Python version used: 3.14.5
  • Operating system and version: Arch Linux

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 da mypy/plugins/dataclasses.py, in particolare da dataclass_class_maker_callback, transform e collect_attributes, quindi esegui mypy sulla riproduzione namedtuple/dataclass indicata. Traccia il motivo per cui il campo namedtuple produce un TypeInfo mentre collect_attributes si aspetta un Var; il lavoro è completato quando il riproduttore non va più in crash e la regressione è coperta dai test pertinenti del plugin dataclass.

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

Valutazione

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

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.