python / python/mypy

`dmypy suggest` crashes if the checked files emit messages and suggesting a stdlib function (?)

Aperta
#21,765 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

$ dmypy run -- --config-file=mypy-test.ini
Daemon started
pkg/__init__.py:1: note: Revealed type is "Literal[1]?"
Success: no issues found in 1 source file
$ dmypy suggest os.path.islink --callsites
pkg/__init__.py:1: error: INTERNAL ERROR -- Please try using mypy master on GitHub:
  ...
File ".../mypy/errors.py", line 684, in _add_error_info
  assert file not in self.flushed_files

Project:

  • mypy-test.ini:
    [mypy]
    files = pkg/
    
  • pkg/__init__.py
    reveal_type(1)
    

The crash happens when:

  • One of the modules that are checked is emitting some kind of message (either note or error);
  • The suggestion is something from mypy's automatically loaded modules (I've only tested standard library ones). Suggesting something from the checked modules does not cause the crash.

Your Environment

  • Mypy version used: 2.3, master
  • Mypy command-line flags:
  • Mypy configuration options from mypy.ini (and other config files):
  • Python version used: 3.13
  • Operating system and version: Ubuntu 22.04

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

Riprodurre con il mypy-test.ini, pkg/init.py e i comandi dmypy run e dmypy suggest os.path.islink --callsites mostrati. Iniziare dalla riga 684 di mypy/errors.py e seguire come vengono scaricati i messaggi prima dei suggerimenti per i moduli caricati automaticamente. Il lavoro è completo quando il suggerimento non va più in crash se i file controllati emettono note o errori.

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

Valutazione

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

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.