python / python/mypy

False positive with attrs converter

Offen
#8,625 4 Kommentare 4 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

bug topic-attrs
Vorherrschende Sprache
Python
Sterne
20.6k
Forks
3.3k
PR-Merge-Kennzahlen
PR-Kennzahlen ausstehend

Beschreibung

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

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Rechercherichtung

Beginnen Sie damit, den bereitgestellten Python-Reproducer mit der gemeldeten mypy-Version oder dem neuesten master auszuführen, wobei Sie sich auf den attrs converter und die Inferenz generischer Parameter konzentrieren. Die Arbeit ist abgeschlossen, wenn das Beispiel keine Typprüfungsfehler erzeugt und dabei den deklarierten Typ FrozenSet[Text] beibehält.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
python
Bereich
devtools
Issue-Typ
Bug
Schwierigkeit
4/5
Geschätzter Aufwand
3-5 Tage
Aktivitätsstatus
Veraltet
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
45/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.