19 Pull requests merged by 10 people

• Fix exhaustive-match error code in title

  #19276 merged Jun 11, 2025

• [mypyc] Derive .c file name from full module name if using multi_file

  #19278 merged Jun 11, 2025

• Fix couple inconsistencies in protocols vs TypeType

  #19267 merged Jun 11, 2025

• [mypyc] Support overriding the group name used in output files

  #19272 merged Jun 11, 2025

• Single underscore is not a sunder

  #19273 merged Jun 11, 2025

• Fix missing error context for unpacking assignment involving star expression

  #19258 merged Jun 10, 2025

• Fix and simplify error de-duplication

  #19247 merged Jun 10, 2025

• Add regression test for narrowing union of mixins

  #19266 merged Jun 10, 2025

• [mypyc] Make generated generator helper method internal

  #19268 merged Jun 10, 2025

• Disallow ClassVar in type aliases

  #19263 merged Jun 10, 2025

• Refactor/unify access to static attributes

  #19254 merged Jun 9, 2025

• Clean-up and move operator access to checkmember.py

  #19250 merged Jun 9, 2025

• Add script that prints compiled files when self compiling

  #19260 merged Jun 9, 2025

• stubgen: add test case for handling incomplete return types

  #19253 merged Jun 8, 2025

• Update Fix help message url for "None and Optional handling" section

  #19252 merged Jun 8, 2025

• Fix properties with setters after deleters

  #19248 merged Jun 7, 2025

• Display FQN for imported base classes in errors about incompatible ov…

  #19115 merged Jun 6, 2025

• Fix a minor merge conflict caused by #19118.

  #19246 merged Jun 6, 2025

• Avoid false unreachable, redundant-expr, and redundant-casts warnings in loops more robustly and efficiently, and avoid multiple revealed type notes for the same line.

  #19118 merged Jun 6, 2025

8 Pull requests opened by 5 people

• Improve the support for promotions inside unions.

  #19245 opened Jun 6, 2025

• Use union of current context and left side for right side narrowing of binary ops

  #19249 opened Jun 7, 2025

• feat: new mypyc primitives for str.count

  #19264 opened Jun 10, 2025

• Improve the handling of "iteration dependent" errors and notes in finally clauses.

  #19270 opened Jun 10, 2025

• Handle corner case: protocol vs classvar vs descriptor

  #19277 opened Jun 11, 2025

• Preserve literals when joining Literal and Instance with matching last_known_value

  #19279 opened Jun 12, 2025

• Mark code after for loops that never end as unreachable

  #19287 opened Jun 13, 2025

• Use types.CoroutineType instead of typing.Coroutine

  #19288 opened Jun 13, 2025

30 Issues closed by 8 people

• Wrong `comparison-overlap` with `Enum`/`Literal` when using globals

  #19283 closed Jun 13, 2025

• How to run stubtest on ujson (all compiled code)?

  #19261 closed Jun 12, 2025

• MyPy v1.t6.0 cannot infer a descriptor's type through a `Protocol` which v1.15.0 supports

  #19274 closed Jun 11, 2025

• Add `[disallow-non-exhaustive-match]` check

  #13597 closed Jun 11, 2025

• [1.16 regression] no longer recognizes enum singleton as only possible case

  #19271 closed Jun 11, 2025

• Missing line number error report

  #19257 closed Jun 10, 2025

• Support subtyping `Literal` with `StrEnum` and `IntEnum` values

  #19243 closed Jun 10, 2025

• (🐞) Same error reported multiple times on inner functions when `show-error-context` is enabled

  #13517 closed Jun 10, 2025

• Error diagnostics incomplete on generic function redefinition

  #17791 closed Jun 10, 2025

• [1.16 regression] duplicated note for incompatible type

  #19240 closed Jun 10, 2025

• 1.10.1: pytest fails in

  #17428 closed Jun 10, 2025

• [1.16 regression] descriptor not working in protocol

  #19054 closed Jun 10, 2025

• <nothing> when narrowing types on union of subtypes

  #16413 closed Jun 10, 2025

• False error: Never has no attribute "foo" [attr-defined]

  #17198 closed Jun 9, 2025

• Unpacking doesn't do proper type narrowing

  #17240 closed Jun 9, 2025

• Regression: descriptors don't work on protocols

  #19262 closed Jun 9, 2025

• When importing numpy>=2.0.0, report "AssertionError: Internal error: unresolved placeholder type None" when using stubgen

  #17538 closed Jun 9, 2025

• TypedDict totality ignored when instantiating a not type-hinted class variable typed dict

  #17174 closed Jun 9, 2025

• TypedDict as default_factory in dataclasses is not inferred correctly

  #5723 closed Jun 9, 2025

• Refactor common code in analyze_member_access and find_member

  #3832 closed Jun 9, 2025

• Refactor operator method access and protocol checks to use checkmember.py

  #5136 closed Jun 9, 2025

• Clean up kludges for handling metaclasses and Type[...] in check_op_reversible

  #5491 closed Jun 9, 2025

• TypeVar incompatible with constrained union

  #9424 closed Jun 8, 2025

• Unpack generic tuple with no args not working

  #19140 closed Jun 8, 2025

• Help message URL incorrect for "None and Optional handling"

  #19251 closed Jun 8, 2025

• [1.16 regression] Relative order of property methods changes mypy output

  #19224 closed Jun 7, 2025

• Show more context about the base class on incompatible override

  #19112 closed Jun 6, 2025

• [1.16 regression] a cast is both needed and redundant at the same time

  #19170 closed Jun 6, 2025

• mypy duplicates `reveal_type` notes with partial types

  #18511 closed Jun 6, 2025

• [1.15 regression] (Temporary) false positive for reachability with unannotated partial type

  #18606 closed Jun 6, 2025

14 Issues opened by 13 people

• crash for a very specific invocation of mypy: `assert isinstance(visitor, SyntheticTypeVisitor)`

  #19286 opened Jun 12, 2025

• Bounded generic type parameter not narrowed past its upper bound, regardless of argument value

  #19285 opened Jun 12, 2025

• Source file found twice under different module names mypy

  #19284 opened Jun 12, 2025

• Generic type incorrectly un-narrowed following TypeIs

  #19282 opened Jun 12, 2025

• setting `exclude_gitignore = true` breaks stubtest

  #19281 opened Jun 12, 2025

• 1.16 changed behavior of redefined variable to None

  #19280 opened Jun 12, 2025

• mypy 1.16 has new dependency pathspec

  #19275 opened Jun 11, 2025

• Wrong `unreachable` note in `finally` section

  #19269 opened Jun 10, 2025

• Type-narrowing in a union sometimes fails

  #19265 opened Jun 10, 2025

• Argument "key" to "sorted" has incompatible type "Callable…"

  #19259 opened Jun 9, 2025

• Unreachability should work for constrained type vars

  #19256 opened Jun 8, 2025

• An instance of a final class should be treated as satisfying a TypeVar bound to it, after being narrowed

  #19255 opened Jun 8, 2025

• Report an error if *args or **kwargs are passed when all other arguments are filled.

  #19244 opened Jun 6, 2025

• [1.16 regression] Incompatible types error when using `Enum`s of a `NamedTuple`

  #19242 opened Jun 6, 2025

30 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Fix/attrs init overload

  #19104 commented on Jun 13, 2025 • 5 new comments

• Fix crash in dmypy when packages are removed during dmypy run

  #19229 commented on Jun 6, 2025 • 1 new comment

• Omit constraints referencing `dict` if a conflicting `TypedDict` constraint exists

  #19225 commented on Jun 12, 2025 • 0 new comments

• Handle `__hash__ = None` in somewhat more intuitive fashion

  #19168 commented on Jun 11, 2025 • 0 new comments

• Improve error messages for missing annotations (return type + arguments)

  #19125 commented on Jun 6, 2025 • 0 new comments

• Split import-untyped into import-untyped and import-untyped-stubs-available

  #19101 commented on Jun 7, 2025 • 0 new comments

• feat: new mypyc primitive for weakref.ref

  #19099 commented on Jun 8, 2025 • 0 new comments

• feat(test): Failure test case for mypyc dictionary subclass views

  #19076 commented on Jun 7, 2025 • 0 new comments

• Enable warn_unreachable = True for `mypyc` and all other files as well

  #19050 commented on Jun 9, 2025 • 0 new comments

• Add warn-unreachable to strict mode

  #19047 commented on Jun 9, 2025 • 0 new comments

• Allow adjacent conditionally-defined overloads

  #19042 commented on Jun 7, 2025 • 0 new comments

• Add experimental support for PEP 764 inline TypedDicts

  #18889 commented on Jun 7, 2025 • 0 new comments

• Fix `TypeIs` negative narrowing of union of generics

  #18193 commented on Jun 12, 2025 • 0 new comments

• 1.16 regression: `--warn-unused-ignore` now complains in ignored-but-correct places

  #19237 commented on Jun 12, 2025 • 0 new comments

• Type narrowed to `Never` when using `TypeIs` with union of callables

  #18009 commented on Jun 12, 2025 • 0 new comments

• report warn-redundant-annotation (similar to warn-redundant-cast)

  #18540 commented on Jun 11, 2025 • 0 new comments

• ABCMeta.register support

  #2922 commented on Jun 11, 2025 • 0 new comments

• stubgen: mangles from _typeshed import Incomplete on Windows

  #16658 commented on Jun 11, 2025 • 0 new comments

• 1.16 Release Planning

  #18739 commented on Jun 11, 2025 • 0 new comments

• `.get(key)` should narrow final TypedDicts

  #17087 commented on Jun 10, 2025 • 0 new comments

• Can JSON format output and command line parameter options for -- disable-error-code all be supported?

  #17446 commented on Jun 10, 2025 • 0 new comments

• False-positive type errors when passing **kwargs to a function that has other keyword args

  #18481 commented on Jun 10, 2025 • 0 new comments

• `return await ...` not working properly

  #18805 commented on Jun 10, 2025 • 0 new comments

• Reuse compiled baseline in perf_compare

  #14359 commented on Jun 9, 2025 • 0 new comments

• DefaultDict of a TypedDict confuses mypy

  #7217 commented on Jun 8, 2025 • 0 new comments

• mypy loses information about types. 'str | tuple[str, ...]' becomes 'Sequence[str]'

  #19211 commented on Jun 7, 2025 • 0 new comments

• `Enum` member aliases are treated as never-equal

  #16830 commented on Jun 7, 2025 • 0 new comments

• Errors when merging consecutive leading-indented (?) overload statements

  #17521 commented on Jun 7, 2025 • 0 new comments

• Mypy false positive for `converter` class attribute in `logging.Formatter` class.

  #19241 commented on Jun 7, 2025 • 0 new comments

• Mypy plugins: Changing class signature impossible here?

  #19195 commented on Jun 6, 2025 • 0 new comments