python / python/mypy

Sequences of attrs validators

Offen
#20,013 3 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

bug topic-attrs topic-inference topic-join-v-union topic-type-context
Vorherrschende Sprache
Python
Sterne
20.6k
Forks
3.3k
PR-Merge-Kennzahlen
PR-Kennzahlen ausstehend

Beschreibung

Bug Report

It's only a minor issue, but there was a recent fix on the attrs side to properly handle lists of validators. While code execution works, mypy is still giving a false positive.

To Reproduce

from attrs import define, field
from attrs.validators import deep_iterable, instance_of, min_len


@define
class A:
    x: list[str] = field(
        validator=deep_iterable(
            member_validator=[instance_of(str), min_len(1)],
            iterable_validator=[instance_of(list), min_len(1)],
        ),
    )

A(['a', 'b'])  # works

Expected Behavior

Should not raise any mypy errors.

Actual Behavior

dbg.py:9: error: Argument "member_validator" to "deep_iterable" has incompatible type "list[function]"; expected "Callable[[Any, Attribute[Never], Never], Any] | Sequence[Callable[[Any, Attribute[Never], Never], Any]]"  [arg-type]
dbg.py:10: error: Argument "iterable_validator" to "deep_iterable" has incompatible type "list[function]"; expected "Callable[[Any, Attribute[Never], Never], Any] | Sequence[Callable[[Any, Attribute[Never], Never], Any]] | None"  [arg-type]

Your Environment

  • Mypy version used: 1.18.2
  • Attrs version used: 25.4.0
  • Python version used: 3.10

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

Beginne damit, das Beispiel mit mypy 1.18.2 zu reproduzieren und die Typisierung für attrs.validators.deep_iterable zu untersuchen. Füge einen Regressionstest hinzu, der Listen von Validatoren für member_validator und iterable_validator abdeckt, und überprüfe anschließend, dass mypy für das Beispiel keine Fehler meldet.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
python
Bereich
tooling
Issue-Typ
Bug
Schwierigkeit
3/5
Geschätzter Aufwand
1-2 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.