python / python/mypy

Mypy fails on usage of attrs package

Ouverte
#9,770 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

bug topic-attrs topic-disallow-any
Langage dominant
Python
Étoiles
20.6k
Forks
3.3k
Métriques de merge des PR
Métriques de PR en attente

Description

On the following file name.py

from attr import attrs, attrib


@attrs(frozen=True)
class Name:
    name: str = attrib(converter=str.lower)

    def __str__(self) -> str:
        return self.name

calling mypy as follows

 mypy src --disallow-untyped-calls --disallow-untyped-defs --disallow-untyped-decorators --disallow-incomplete-defs --disallow-any-expr --warn-redundant-casts --warn-unreachable

results in the following errors

name.py:4: error: Expression type contains "Any" (has type "Type[Name]")
name.py:6: error: Unsupported converter, only named functions and types are currently supported

I think both errors are incorrect.

If you agree then please fix!

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

Commencez par l’exemple reproductible dans name.py et exécutez la commande mypy fournie pour confirmer les deux diagnostics. Suivez la manière dont mypy gère le décorateur et le converter d’attrs, puis vérifiez que l’exemple ne signale plus ces deux erreurs tout en préservant le comportement prévu de vérification des types.

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

Évaluation

Stack technique
python
Domaine
tooling
Type d'issue
Bug
Difficulté
4/5
Temps estimé
3-5 jours
Activité
À l'abandon
Clarté
Plutôt claire
Accessibilité débutants
38/100

Recevez les nouvelles issues par e-mail

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