Search results

Type checking fails to distribute across Tuple types

bugmypy got something wrongmypy got something wrong

false-positivemypy gave an error on correct codemypy gave an error on correct code

topic-union-types

Status: Open.

#18922 In python/mypy;

· bcmills opened on Apr 14, 2025

Union of <code>Never</code> can't be used

bugmypy got something wrongmypy got something wrong

topic-union-types

Status: Open.

#18779 In python/mypy;

· pleaseletmesearch opened on Mar 10, 2025

mypy throws <code>assignment</code> error for a list created from an empty list

feature

topic-type-variables

topic-union-types

Status: Open.

#18735 In python/mypy;

· Felixoid opened on Feb 25, 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

False negative when lvalue has union type

affects-mypyc

bugmypy got something wrongmypy got something wrong

topic-union-types

Status: Open.

#17859 In python/mypy;

· JukkaL opened on Oct 1, 2024

Generic matching error when tuple-unpacking result

bugmypy got something wrongmypy got something wrong

topic-inferenceWhen to infer types or require explicit annotationsWhen to infer types or require explicit annotations

topic-type-variables

topic-union-types

Status: Open.

#16310 In python/mypy;

· msullivan opened on Oct 21, 2023

Union of Literals as key in union of TypedDict false positive

bugmypy got something wrongmypy got something wrong

topic-typed-dict

topic-union-types

Status: Open.

#14459 In python/mypy;

· connesy opened on Jan 16, 2023

And of isinstances / typeguards containing unions

bugmypy got something wrongmypy got something wrong

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

topic-union-types

Status: Open.

#14434 In python/mypy;

· Anonymous-Stranger opened on Jan 12, 2023

Incorrect handling of unions of generics

bugmypy got something wrongmypy got something wrong

topic-type-variables

topic-union-types

Status: Open.

#14403 In python/mypy;

· hauntsaninja opened on Jan 6, 2023

(🎁) Perform 'union math' on non overloaded calls

feature

topic-type-variables

topic-union-types

Status: Open.

#13493 In python/mypy;

· KotlinIsland opened on Aug 24, 2022

Argument type <code>Union[T, List[T]]</code> fails to infer constaints

bugmypy got something wrongmypy got something wrong

topic-union-types

Status: Open.

#11149 In python/mypy;

· sobolevn opened on Sep 20, 2021

Mypy emits two conflicting results for reveal_type

bugmypy got something wrongmypy got something wrong

topic-reveal-typereveal_type() and reveal_locals()reveal_type() and reveal_locals()

topic-union-types

Status: Open.

#10739 In python/mypy;

· akaptur opened on Jun 29, 2021