python / python/mypy

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

Ouverte
#21,765 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

crash
Langage dominant
Python
Étoiles
20.6k
Forks
3.3k
Métriques de merge des PR
Métriques de PR en attente

Description

$ 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

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Piste de recherche

Reproduire avec le mypy-test.ini, pkg/init.py et les commandes dmypy run et dmypy suggest os.path.islink --callsites indiqués. Commencer à la ligne 684 de mypy/errors.py et suivre la manière dont les messages sont vidés avant les suggestions pour les modules chargés automatiquement. Le travail est terminé lorsque la suggestion ne plante plus quand les fichiers vérifiés émettent des notes ou des erreurs.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
python
Domaine
compilers, devtools
Type d'issue
Bug
Difficulté
3/5
Temps estimé
1-2 jours
Activité
Calme
Clarté
Plutôt claire
Accessibilité débutants
64/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.