Search results

False positive when accessing a TypedDict in a list comprehension

bugmypy got something wrongmypy got something wrong

topic-literal-types

Status: Open.

#19317 In python/mypy;

· fishikles opened on Jun 20, 2025

Keep <code>Literal</code> after indexing?

feature

topic-literal-types

topic-type-contextType context / bidirectional inferenceType context / bidirectional inference

Status: Open.

#19152 In python/mypy;

· ego-thales opened on May 26, 2025

[1.12, 1.13] Regression in enum narrowing

bugmypy got something wrongmypy got something wrong

topic-enum

topic-literal-types

topic-type-narrowingConditional type narrowing / binderConditional type narrowing / binder

topic-union-types

Status: Open.

#18029 In python/mypy;

· Fred-si opened on Oct 24, 2024

Add support for literal addition

topic-literal-types

Status: Open (in progress).

python/mypynumber 18004

#18004 In python/mypy;

· cdce8p opened on Oct 21, 2024

False negative: <code>typing.Literal[&lt;Union expression&gt;]</code>

bugmypy got something wrongmypy got something wrong

semantic-analyzerProblems that happen during semantic analysisProblems that happen during semantic analysis

topic-literal-types

topic-runtime-semanticsmypy doesn't model runtime semantics correctlymypy doesn't model runtime semantics correctly

Status: Open.

#17260 In python/mypy;

· bzoracler opened on May 17, 2024

<code>--strict-equality</code> flag not working with membership operator and <code>Literal</code> types

feature

topic-literal-types

topic-overlapOverlapping equality checkOverlapping equality check

Status: Open.

#17062 In python/mypy;

· mflova opened on Mar 24, 2024

Type Narrowing: <code>if val == Literal</code> should always narrow to Literal

feature

topic-literal-types

topic-type-narrowingConditional type narrowing / binderConditional type narrowing / binder

Status: Open.

#16819 In python/mypy;

· CarliJoy opened on Jan 25, 2024

Eager narrowing to <code>Literal</code> when possible

feature

topic-literal-types

topic-type-narrowingConditional type narrowing / binderConditional type narrowing / binder

Status: Open.

#15434 In python/mypy;

· harahu opened on Jun 14, 2023

Unable to narrow the type of a tagged union when using a match statement

bugmypy got something wrongmypy got something wrong

topic-literal-types

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

topic-type-narrowingConditional type narrowing / binderConditional type narrowing / binder

Status: Open.

#15190 In python/mypy;

· jonathan-laurent opened on May 5, 2023

(🐞) <code>overload</code>s that exhaust finite <code>Literal</code>s(<code>bool</code>/<code>Enum</code>) not treated as exhaustive

bugmypy got something wrongmypy got something wrong

topic-literal-types

topic-overloads

Status: Open.

#14764 In python/mypy;

· KotlinIsland opened on Feb 22, 2023

Recognize list of constant values as a list of str.

feature

topic-literal-types

Status: Open.

#13767 In python/mypy;

· elda27 opened on Sep 29, 2022

Literal of type string not accepted as keyword name

bugmypy got something wrongmypy got something wrong

topic-callsFunction calls, *args, **kwargs, defaultsFunction calls, *args, **kwargs, defaults

topic-literal-types

Status: Open.

#13674 In python/mypy;

· twoertwein opened on Sep 17, 2022