python / python/mypy

False positive with attrs converter

Ouverte
#8,625 4 commentaires 4 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

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

Description

Looks like mypy can't infer generic parameter properly when used in attrs converter.

from attr import attrs, attrib
from typing import FrozenSet, Text


@attrs
class Test(object):
    values = attrib(type=FrozenSet[Text], converter=frozenset)


Test(values={'a'})

Actual: reporting error

error: Argument 1 to <set> has incompatible type "str"; expected "_T"

Expected: no errors.

mypy version 0.770, python 3.5.2, no flags are used.
Latest master has basically the same error message except generic param has a different name:

error: Argument 1 to <set> has incompatible type "str"; expected "_T_co"

Possibly related: https://github.com/python/mypy/issues/5313

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 exécuter le reproducteur Python fourni avec la version de mypy signalée ou le master le plus récent, en vous concentrant sur l’attrs converter et l’inférence des paramètres génériques. Le travail est terminé lorsque l’exemple ne produit aucune erreur de vérification des types tout en conservant le type déclaré FrozenSet[Text].

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

Évaluation

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

Recevez les nouvelles issues par e-mail

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