python / python/mypy

Daemon crashes with a decorator returning `Generic/Protocol`, decorated method returning `Self`, and an undefined symbol

Aperta
#20,132 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

crash topic-daemon topic-fine-grained-incremental
Lingua principale
Python
Stelle
20.6k
Fork
3.3k
Metriche di merge delle PR
Metriche PR in attesa

Descrizione

Crash Report & To Reproduce

With a relatively simple reproducer and small example, this causes a crash. Anything larger than a small example will cause dmypy to hang.

  1. Set up the following dummy project
  2. cd project
  3. dmypy run
  4. Change project/src/pkg/utils.py (e.g. add a = 1234 at the end of this file)
  5. dmypy run again (crashes)

Dummy project:

project/
    src/
        pkg/
            __init__.py (blank)
            module.py
            utils.py
    mypy.ini
  • mypy.ini

    [mypy]
    files = src/
    
  • module.py

    from typing_extensions import Self
    from pkg.utils import deco
    
    var = UNDEFINED_SYMBOL
    
    class A:
        @deco
        def mymethod(self) -> Self: ...
    
  • utils.py

    from collections.abc import Callable
    from typing import Protocol, TypeVar
    from typing_extensions import ParamSpec
    
    _P = ParamSpec("_P")
    _R_co = TypeVar("_R_co", covariant=True)
    _T = TypeVar("_T")
    
    def deco(f: Callable[_P, _T], /) -> _Method[_P, _T]: ...
    
    class _Method(Protocol[_P, _R_co]): ...
    

Traceback

Runtime error from non-compiled mypy is below on master (commit https://github.com/python/mypy/commit/842a8fdcaa711c92c1067d373098844eb7d1ab57)

Daemon crashed!
Traceback (most recent call last):
  File ".../python3.13/site-packages/mypy/dmypy_server.py", line 237, in serve
    resp = self.run_command(command, data)
  File ".../python3.13/site-packages/mypy/dmypy_server.py", line 286, in run_command
    ret = method(self, **data)
  File ".../python3.13/site-packages/mypy/dmypy_server.py", line 354, in cmd_run
    return self.check(sources, export_types, is_tty, terminal_width)
           ~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File ".../python3.13/site-packages/mypy/dmypy_server.py", line 433, in check
    messages = self.fine_grained_increment_follow_imports(
        sources, explicit_export_types=export_types
    )
  File ".../python3.13/site-packages/mypy/dmypy_server.py", line 640, in fine_grained_increment_follow_imports
    messages = fine_grained_manager.update(changed, [], followed=True)
  File ".../python3.13/site-packages/mypy/server/update.py", line 286, in update
    changed_modules = propagate_changes_using_dependencies(
        self.manager,
    ...<5 lines>...
        self.processed_targets,
    )
  File ".../lib/python3.13/site-packages/mypy/server/update.py", line 857, in propagate_changes_using_dependencies
    raise RuntimeError("Max number of iterations (%d) reached (endless loop?)" % MAX_ITER)
RuntimeError: Max number of iterations (1000) reached (endless loop?)

Your Environment

  • Mypy version used: 1.18.2, master
  • Mypy command-line flags: None
  • Mypy configuration options from mypy.ini (and other config files): None
  • Python version used: 3.13
  • Operating system and version: Pop OS! 22.04 LTS

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 eseguendo il progetto dummy fornito con dmypy, quindi esamina i percorsi del traceback in mypy/dmypy_server.py e mypy/server/update.py, in particolare la propagazione incrementale delle dipendenze. Riproduci la seconda esecuzione di dmypy dopo aver modificato utils.py; è completato quando il daemon non va in crash né si blocca e il controllo termina normalmente.

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

Valutazione

Stack tecnologico
python
Ambito
devtools
Tipo di issue
Bug
Difficoltà
4/5
Tempo stimato
3-5 giorni
Stato di attività
Ferma
Chiarezza
Specificata chiaramente
Idoneità per principianti
42/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.