Search results

Incorrectly narrows <code>type</code> from signature annotation to <code>Never</code>

bugmypy got something wrongmypy got something wrong

Status: Open.

#20467 In python/mypy;

· RolandSaur opened on Dec 24, 2025

Documentation: --warn-unreachable should clarify special handling of pass statements

documentation

Status: Open.

#20462 In python/mypy;

· nocoding03 opened on Dec 23, 2025

<code>tuple[Concatenate[int, ...]]</code> should not be accepted

bugmypy got something wrongmypy got something wrong

topic-paramspecPEP 612, ParamSpec, ConcatenatePEP 612, ParamSpec, Concatenate

Status: Open.

#20452 In python/mypy;

· A5rocks opened on Dec 21, 2025

The default type set to <code>*Ts</code> for the generic type alias <code>TA</code> doesn't work even though no type arguments are set to <code>TA</code>

bugmypy got something wrongmypy got something wrong

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

topic-pep-696TypeVar defaultsTypeVar defaults

topic-type-aliasTypeAlias and other type alias issuesTypeAlias and other type alias issues

Status: Open.

#20449 In python/mypy;

· hyperkai opened on Dec 20, 2025

Make <code>ignore_pos_arg_names=False</code> for overrides when using <code>--extra-checks</code>

feature

Status: Open.

#20446 In python/mypy;

· A5rocks opened on Dec 19, 2025

[1.19 regression] Ternary expression involving a union with <code>Any</code> evaluated as redundant

bugmypy got something wrongmypy got something wrong

topic-reachabilityDetecting unreachable codeDetecting unreachable code

Status: Open.

#20445 In python/mypy;

· vfazio opened on Dec 19, 2025

Assignment to Final attribute incorrectly flagged in conditional assignment within __init__

bugmypy got something wrongmypy got something wrong

Status: Open.

#20443 In python/mypy;

· nernst opened on Dec 19, 2025

Inconsistent behaviour with / without a dummy type variable

bugmypy got something wrongmypy got something wrong

Status: Open.

#20442 In python/mypy;

· cmp0xff opened on Dec 19, 2025

False positive with splat and explicit kwarg

bugmypy got something wrongmypy got something wrong

pendingIssues that may be closedIssues that may be closed

Status: Open.

#20441 In python/mypy;

· torfsen opened on Dec 19, 2025

extremely slow type checking for constrained <code>TypeVars</code> and overloads on generic classes

performance

topic-overloads

topic-type-variables

Status: Open.

#20439 In python/mypy;

· quczer opened on Dec 18, 2025

detect invalid <code>Literal[Foo.foo | Foo.bar]</code> → <code>Literal[Foo.foo, Foo.bar]</code>

feature

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

Status: Open.

#20438 In python/mypy;

· spaceone opened on Dec 18, 2025

Decorator with constrained TypeVar specializes to first constraint

bugmypy got something wrongmypy got something wrong

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

Status: Open.

#20437 In python/mypy;

· nkemnitz opened on Dec 18, 2025