Exhaustiveness of type tuple[bool, bool]

Offen

#21,968 erstellt am 11.9.2026 1 Kommentar 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: 68/100

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

Rechercherichtung

Führe die bereitgestellte Reproduktion mit Python 3.14.7 und --enable-error-code exhaustive-match aus und verfolge anschließend, wie die exhaustive-match-Analyse tuple[bool, bool] in match-Anweisungen behandelt. Als erledigt gilt die Aufgabe, wenn die vier booleschen Fälle als vollständig erkannt werden, ohne dass ein missing-return- oder unhandled-case-Fehler gemeldet wird, während tatsächlich unvollständige Matches weiterhin Fehler melden.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

bug topic-match-statement topic-reachability

Bug Report

It looks like the exhaustiveness of tuples of bools is not checked in match statements.

To Reproduce

def measure(a: bool, b: bool) -> float:
    match a, b:
        case True, True:
            return 1
        case True, False:
            return 0.9
        case False, True:
            return 0.5
        case False, False:
            return 0

Expected Behavior

Should pass, looks exhaustive to me (or I should go take a nap).

Actual Behavior

$ mypy --enable-error-code exhaustive-match repro.py
repro.py:1: error: Missing return statement  [return]
repro.py:2: error: Match statement has unhandled case for values of type "tuple[bool, bool]"  [exhaustive-match]
repro.py:2: note: If match statement is intended to be non-exhaustive, add `case _: pass`
Found 2 errors in 1 file (checked 1 source file)

Your Environment

Mypy version used: mypy 2.3.1 (compiled: yes)
Mypy command-line flags: --enable-error-code exhaustive-match
Mypy configuration options from mypy.ini (and other config files): ø
Python version used: 3.14.7

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