GitHub · Where software is built

Preview

Announcement issue for plugin API changes
#6617 · msullivan opened on Apr 3, 2019
19

Labels Milestones New issue

dmypy + torch: second run produces different results (Final name must be initialized with a value)

#17652

· randolf-scholz opened

on Aug 8, 2024

Crash on diverging recursive generic protocols

topic-protocols

topic-recursive-types

#17326

· randolf-scholz opened

on Jun 4, 2024

[numpy] mypy does not raise `type-var` when `NDArray` with incompatible dtype is used as a generic.

#17228

· randolf-scholz opened

on May 8, 2024

INTERNAL ERROR on match-case statement

topic-match-statement

#17134

· randolf-scholz opened

on Apr 17, 2024

`iter(obj)` incompatible with `obj.iter()` if class generic in constrained `TypeVar`

#16552

· randolf-scholz opened

on Nov 24, 2023

[match-case] `unreachable` raised multiple times instead of once.

topic-match-statement

topic-reachability

topic-type-ignore

#15866

· randolf-scholz opened

on Aug 14, 2023

[overload][intersection-types] undetected LSP violation in multiple inheritance

#15790

· randolf-scholz opened

on Jul 31, 2023

@overload using `Sequence[Never]` to match empty sequence

#15763

· randolf-scholz opened

on Jul 26, 2023

match-case class checking against `collection.abc.Callable` raises error [misc]

topic-match-statement

#14014

· randolf-scholz opened

on Nov 5, 2022

isinstance check widens type

topic-type-narrowing

#11615

· randolf-scholz opened

on Nov 25, 2021