20 Pull requests merged by 9 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

• 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

13 Pull requests opened by 7 people

• 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

• 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

• Re-widen custom properties after narrowing

  #19296 opened Jun 14, 2025

• Generalize class/static method and property alias support

  #19297 opened Jun 14, 2025

• Support properties with generic setters

  #19298 opened Jun 14, 2025

• Uninhabited should have all attributes

  #19300 opened Jun 14, 2025

• Sync typeshed

  #19301 opened Jun 15, 2025

31 Issues closed by 8 people

• Refactor all member access to go through checkmember.py (meta issue)

  #7724 closed Jun 14, 2025

• Mypy incorrectly gives an error for a ternary return statement

  #15368 closed Jun 13, 2025

• False error in conditional expression returning union

  #6898 closed Jun 13, 2025

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

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

• 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

15 Issues opened by 14 people

• Followup tasks for checkmember.py refactoring

  #19299 opened Jun 14, 2025

• 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

• 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

24 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 • 4 new comments

• 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

• Fix/attrs init overload

  #19104 commented on Jun 13, 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

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

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

• Allow to enable/disable plugin error codes

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

• `KeyError: 'deprecated'` because of bad cache

  #18473 commented on Jun 14, 2025 • 0 new comments

• Assigning wrapped class members to a member defined by a base class fails with incompatible types in assignment

  #14408 commented on Jun 14, 2025 • 0 new comments

• IntEnum literals are not considerable comparable with ints

  #16327 commented on Jun 13, 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