10 Pull requests merged by 5 people

• Handle corner case: protocol vs classvar vs descriptor

  #19277 merged Jun 13, 2025

• Fix tests in master

  #19293 merged Jun 13, 2025

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

  #19249 merged Jun 13, 2025

• Preserve literals when joining Literal and Instance with matching last_known_value

  #19279 merged Jun 13, 2025

• Bind self-types in checkmember for decorated classmethods

  #19025 merged Jun 13, 2025

• 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

6 Pull requests opened by 4 people

• 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

• Show name of type variable in "Cannot infer type argument" message

  #19290 opened Jun 13, 2025

• Cleanup generic class variable access

  #19292 opened Jun 13, 2025

• Fix merge conflict from #19025

  #19294 opened Jun 13, 2025

• Fix constructor type for subclasses of Any

  #19295 opened Jun 14, 2025

10 Issues closed by 4 people

• Strange case with deepcopy() and Literal[True]

  #12001 closed Jun 13, 2025

• False error in conditional expression returning union

  #6898 closed Jun 13, 2025

• Mypy incorrectly gives an error for a ternary return statement

  #15368 closed Jun 13, 2025

• lru_cache classmethod: variable has type "Self" after assignment

  #18993 closed Jun 13, 2025

• Return type is `Self` when calling an inherited decorated classmethod that returns `Self`

  #19023 closed Jun 13, 2025

• 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

9 Issues opened by 9 people

• Add full support for functools.lru_cache

  #19291 opened Jun 13, 2025

• Mypy reports error for different argument, than the one which is actually wrong

  #19289 opened Jun 13, 2025

• 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

16 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.

• Improve the support for promotions inside unions.

  #19245 commented on Jun 13, 2025 • 2 new comments

• feat: new mypyc primitives for str.count

  #19264 commented on Jun 13, 2025 • 1 new comment

• 1.16 Release Planning

  #18739 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

• ABCMeta.register support

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

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

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

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

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

• Unreachability should work for constrained type vars

  #19256 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

• IntEnum literals are not considerable comparable with ints

  #16327 commented on Jun 13, 2025 • 0 new comments

• Allow to enable/disable plugin error codes

  #13419 commented on Jun 13, 2025 • 0 new comments

• Fix `TypeIs` negative narrowing of union of generics

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

• Patch `check_op_reversible` to support `tuple` subclasses.

  #19046 commented on Jun 13, 2025 • 0 new comments

• Fix/attrs init overload

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

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

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

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

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