python / python/mypy

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

Abierto
#21,583 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

crash
Lenguaje dominante
Python
Estrellas
20.6k
Forks
3.3k
Merge medio
1 d 18 h
PR fusionados (30 d)
54

Descripción

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

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

Comienza con mypy/plugins/dataclasses.py, especialmente con dataclass_class_maker_callback, transform y collect_attributes, y luego ejecuta mypy sobre la reproducción de namedtuple/dataclass indicada. Rastrea por qué el campo de namedtuple produce un TypeInfo cuando collect_attributes espera un Var; el trabajo estará terminado cuando el reproductor ya no se bloquee y la regresión esté cubierta por las pruebas relevantes del plugin de dataclass.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
python
Área
tooling
Tipo de issue
Error
Dificultad
3/5
Tiempo estimado
1-2 días
Estado de actividad
Tranquilo
Claridad
Bastante claro
Aptitud para principiantes
62/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.