Search results

Positional subpattern of a built-in type subclass with __match_args__ causes type confusion

bugmypy got something wrongmypy got something wrong

topic-match-statementPython 3.10's match statementPython 3.10's match statement

Status: Closed (completed).

#18140 In python/mypy;

· by mgedmin was closed on Nov 11, 2024

Structural Pattern Matching Exhaustiveness check when using OR

bugmypy got something wrongmypy got something wrong

good-second-issue

topic-match-statementPython 3.10's match statementPython 3.10's match statement

Status: Closed (completed).

#18108 In python/mypy;

· by acciaioli was closed on Nov 11, 2024

Crash on sequence match statement in generic class with restricted type variable bound to sequence

crash

topic-match-statementPython 3.10's match statementPython 3.10's match statement

topic-type-variables

Status: Closed (completed).

#18089 In python/mypy;

· by rwhender was closed on Nov 15, 2024

Pattern matching: Mypy doesn't narrow tuple[int, int] | int

bugmypy got something wrongmypy got something wrong

topic-match-statementPython 3.10's match statementPython 3.10's match statement

Status: Not planned (skipped).

#17490 In python/mypy;

· by Vinh-CHUC was closed on Jul 5, 2024

False positive "Missing return statement" for coroutine result pattern matching

bugmypy got something wrongmypy got something wrong

topic-match-statementPython 3.10's match statementPython 3.10's match statement

Status: Not planned (skipped).

#17306 In python/mypy;

· by zoola969 was closed on May 31, 2024

Exhaustiveness check is not run for functions returning None

bugmypy got something wrongmypy got something wrong

topic-match-statementPython 3.10's match statementPython 3.10's match statement

Status: Not planned (skipped).

#17141 In python/mypy;

· by tobiasBora was closed on Apr 18, 2024

Match involving unpacked tuple incorrectly marked unreachable

bugmypy got something wrongmypy got something wrong

topic-match-statementPython 3.10's match statementPython 3.10's match statement

topic-pep-646PEP 646 (TypeVarTuple, Unpack)PEP 646 (TypeVarTuple, Unpack)

topic-reachabilityDetecting unreachable codeDetecting unreachable code

Status: Closed (completed).

#17095 In python/mypy;

· by JelleZijlstra was closed on Jan 13, 2025

Binding a name that is used before but now out of scope in a pattern match breaks mypy

crash

topic-match-statementPython 3.10's match statementPython 3.10's match statement

Status: Closed (completed).

#16793 In python/mypy;

· by Luis-omega was closed on Jan 13, 2025

Untrue "missing return statement" after exhaustive match on enum

bugmypy got something wrongmypy got something wrong

topic-match-statementPython 3.10's match statementPython 3.10's match statement

Status: Not planned (skipped).

#16276 In python/mypy;

· by aleksanb was closed on Nov 12, 2023

Untrue unreachable statements with list pattern matching

bugmypy got something wrongmypy got something wrong

topic-match-statementPython 3.10's match statementPython 3.10's match statement

Status: Closed (completed).

#16272 In python/mypy;

· by JanczarKurek was closed on Jan 13, 2025

Pattern matching: case guards make match non-exhaustive

bugmypy got something wrongmypy got something wrong

topic-match-statementPython 3.10's match statementPython 3.10's match statement

Status: Not planned (skipped).

#16223 In python/mypy;

· by outring was closed on Oct 4, 2023

match/case doesn't perform overlapping equality checking

feature

topic-match-statementPython 3.10's match statementPython 3.10's match statement

topic-overlapOverlapping equality checkOverlapping equality check

Status: Closed (completed).

#16079 In python/mypy;

· by jgarvin was closed on Nov 12, 2023