Issues

• Boolean literal scrutinee not narrowed by literal patterns in match

  bugtopic-literal-typestopic-match-statement
  python/mypy#22202 · Filter by author rolyp opened on Oct 14, 2026

• False positive unreachable for None sub-pattern when matching a union of tuples

  bugtopic-match-statementtopic-reachability
  python/mypy#22150 · Filter by author jherbel opened on Oct 9, 2026

• Exhaustiveness of type tuple[bool, bool]

  bugtopic-match-statementtopic-reachability
  python/mypy#21968 · Filter by author JulienPalard opened on Sep 11, 2026
  1

• [2.1 regression] Incompatible types in capture pattern, can't assign a variable when using string unpacking

  bugpendingtopic-match-statement
  python/mypy#21537 · Filter by author WibblyGhost opened on May 25, 2026
  3

• mypy reports false-positive [exhaustive-match] error when there is an unreachable match

  bugtopic-match-statementtopic-reachability
  python/mypy#21517 · Filter by author dima179-fuse opened on May 19, 2026
  1

• [1.20 regression] value pattern match statement narrowing broken for typevars with values

  bugtopic-match-statementtopic-reachabilitytopic-type-variables
  python/mypy#21356 · Filter by author m-richards opened on Apr 28, 2026
  5

• Pattern matching a dataclass with different field type fails for Python >= 3.13

  bugtopic-dataclassestopic-match-statement
  python/mypy#20904 · Filter by author mtsokol opened on Feb 26, 2026

• Using a type alias with arguments in case block in a match statement gets the wrong error message with parameters instead of arguments

  bugtopic-match-statement
  python/mypy#20495 · Filter by author hyperkai opened on Dec 30, 2025
  2

• match-case does not work correctly with Literals vs Enums

  bugtopic-enumtopic-literal-typestopic-match-statement
  python/mypy#20142 · Filter by author randolf-scholz opened on Oct 29, 2025
  3

• Improve match subject inference

  topic-match-statementtopic-type-narrowing
  Unread
  python/mypy#19736·cdce8p opened Aug 26, 2025 · Updated Dec 15, 2025
  9

• [match-case]/[isinstance] narrowing logic against the special AnyCallable Protocol differs from callable() check

  bugtopic-match-statementtopic-type-narrowing
  python/mypy#19470 · Filter by author randolf-scholz opened on Jul 17, 2025

• [match-case] mypy ignores missing @runtime_checkable in class-pattern

  bugtopic-match-statementtopic-runtime-semantics
  python/mypy#19469 · Filter by author randolf-scholz opened on Jul 17, 2025

• Mypy doesn't narrow a matched object's type (generic or not) based on attribute subpattern match

  bugtopic-match-statementtopic-type-narrowing
  python/mypy#19081 · Filter by author alythobani opened on May 12, 2025
  3

• Matching on boolean expressions does not narrow based on the content of the boolean expression

  bugtopic-match-statement
  python/mypy#18833 · Filter by author unexcellent opened on Mar 24, 2025

• False positive: Incompatible types in capture pattern (pattern captures type "Exception", variable has type <deleted>)

  bugtopic-error-reportingtopic-match-statement
  python/mypy#18752 · Filter by author Krismix1 opened on Mar 3, 2025
  2

• False positive with sequence subclass in match-case statement

  bugfalse-positivetopic-match-statement
  python/mypy#17134 · Filter by author randolf-scholz opened on Apr 17, 2024
  2

• Type narrowing on object attribute with match statement doesn't apply

  featuretopic-match-statementtopic-type-narrowing
  python/mypy#14911 · Filter by author AiroPi opened on Mar 16, 2023
  4

• Exhaustiveness checking fails on non-trivial use of pattern matching

  bugtopic-match-statementtopic-reachability
  python/mypy#14833 · Filter by author ajasmin opened on Mar 4, 2023
  7

• __match_args__ must catch non-existent attributes

  featuretopic-match-statement
  python/mypy#13741 · Filter by author sobolevn opened on Sep 26, 2022
  1

• Cannot infer type of generic attributes in match statements when inheritance is involved

  bugtopic-match-statement
  python/mypy#13620 · Filter by author ariebovenberg opened on Sep 7, 2022
  7