Incorrect narrowing of Enum.Flag

Offen

#21,937 erstellt am 04.9.2026 2 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 3/5
Geschätzter Aufwand: 1-2 Tage
Anfängerfreundlichkeit: 65/100

Issue-Typ: Bug
Klarheit: Größtenteils klar
Aktivitätsstatus: Aktiv
Tech-Stack: python
Bereich: compilers

Rechercherichtung

Beginne damit, das gemeldete Enum.Flag-Narrowing-Beispiel mit dem bereitgestellten Python-Snippet und der mypy-Konfiguration nachzustellen. Verfolge das Narrowing, das nach Vergleichen mit Programs.NONE und Programs.P2 durchgeführt wird, und füge dann einen Regressionstest für Mitgliedschaftsprüfungen wie Programs.P1 in programs hinzu. Als erledigt gilt die Aufgabe, wenn das Beispiel keine Warnung zu nicht unterstützten Operanden erzeugt.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

bug topic-enum topic-type-narrowing

Bug Report

Incorrect narrowing of Enum.Flag

To Reproduce

from enum import Flag, auto
from pathlib import Path
from tempfile import NamedTemporaryFile


def p1(path: str) -> None: ...
def p2(path: str) -> None: ...
def p2_fast(data: str) -> str: ... # type: ignore[empty-body]
def p3(path: str) -> None: ...


class Programs(Flag):
    NONE = 0
    P1 = auto()
    P2 = auto()
    P3 = auto()
    ALL = P1 | P2 | P3


def f(data: str, programs: Programs) -> str:
    if programs == Programs.NONE:
        return data
    if programs == Programs.P2:
        return p2_fast(data)
    with NamedTemporaryFile("w", encoding="utf-8", delete=False) as tmp:
        tmp.write(data)
        tmp.close()
        if Programs.P1 in programs:
            p1(tmp.name)
        if Programs.P3 in programs:
            p3(tmp.name)
        if Programs.P2 in programs:
            p2(tmp.name)
        return Path(tmp.name).read_text("utf-8")

Expected Behavior

no warning

Actual Behavior

main.py:32: error: Unsupported operand types for in ("Programs" and "Literal[Programs.P1, Programs.P3, Programs.ALL]") [operator]

Your Environment

Mypy version used: 2.3.1
Mypy command-line flags: no
Mypy configuration options from mypy.ini (and other config files): no
Python version used: 3.14

Vorherrschende Sprache: Python
Sterne: 20.6k
Forks: 3.3k
Ø Merge: 1 T. 3 Std.
Gemergte PRs (30 T.): 59

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus python/mypy

matches_gitignore: directory-only patterns in nested .gitignore not excluded under --exclude-gitignore Offen

bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100

python/mypy#21760 · Erstellt am 20.7.2026
`stubgen --inspect-mode` crashes with `AttributeError on PEP 604 union syntax (X | Y)` *(mypy 2.1.0)* Offen

bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100

python/mypy#21689 · Erstellt am 07.7.2026
Inconsistent description of `strict_optional` Offen

documentation

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100

python/mypy#21658 · 1 Kommentar · Erstellt am 29.6.2026
Cannot set `output` in `mypy.ini` Offen

bug topic-configuration topic-error-reporting

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100

python/mypy#21376 · 1 Kommentar · Erstellt am 29.4.2026
Issue with `attrs` custom `__init__` defined Offen

bug topic-attrs

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 62/100

python/mypy#20818 · 1 Kommentar · Erstellt am 15.2.2026

Alle Issues in python/mypy

Incorrect narrowing of Enum.Flag

Bewertung

Rechercherichtung

Beschreibung

Beitragsleitfaden

Erste Schritte

Mehr aus python/mypy

Ähnliche Issues

Neue Issues direkt in Ihr Postfach