20 Pull requests merged by 9 people

• PEP 702 (@deprecated): handle "combined" overloads

  #19626 merged Aug 10, 2025

• [mypyc] Fix seg fault due to heap type objects with static tp_doc

  #19636 merged Aug 10, 2025

• Two more micro-optimizations

  #19627 merged Aug 9, 2025

• Cache common instances

  #19621 merged Aug 9, 2025

• Further fix overload diagnostic for vararg and varkwarg

  #19619 merged Aug 9, 2025

• [mypyc] Provide instructions for resolving missing test module on Windows

  #19579 merged Aug 9, 2025

• Fix crash on settable property alias

  #19615 merged Aug 8, 2025

• PEP 702 (@deprecated): consider overloads in snapshot descriptions

  #19613 merged Aug 8, 2025

• Fix overload diagnostic when vararg and varkwarg can match

  #19614 merged Aug 8, 2025

• Fix TypeGuard with call on temporary object

  #19577 merged Aug 8, 2025

• Fix #19491, crash when using enable_error_code value of wrong type in pyproject.toml

  #19494 merged Aug 8, 2025

• Assorted niche optimizations

  #19587 merged Aug 5, 2025

• Move Windows tests from oldest to newest version

  #19545 merged Aug 5, 2025

• Skip more method bodies in third-party libraries

  #19586 merged Aug 5, 2025

• Fix dict assignment to a wider context containing an incompatible typeddict of the same shape

  #19592 merged Aug 5, 2025

• [mypyc] Fix async mypyc tests on Windows

  #19578 merged Aug 4, 2025

• Fix --package-root tests for Windows and Python 3.13+

  #19583 merged Aug 4, 2025

• Sync typeshed

  #19585 merged Aug 4, 2025

• Do not use dictionary in CallableType

  #19580 merged Aug 4, 2025

• Remove --new-type-inference flag

  #19570 merged Aug 4, 2025

19 Pull requests opened by 10 people

• fix: prevent false positive "untyped after decorator transformation" after deferral

  #19591 opened Aug 4, 2025

• [stubtest] Improve checking of positional-only parameters in dunder methods

  #19593 opened Aug 4, 2025

• Better support for `SomeEnum.item == some_literal`

  #19594 opened Aug 4, 2025

• [PEP 747] Recognize TypeForm[T] type and values (#9773)

  #19596 opened Aug 5, 2025

• Fix matching against union of tuples

  #19600 opened Aug 6, 2025

• Fix `meet_types` for literal and instance

  #19605 opened Aug 7, 2025

• [refactor] Remove code that "disables deprecation warnings about \u"

  #19606 opened Aug 7, 2025

• feat: proper narrowing for TypedDict keys and values

  #19610 opened Aug 7, 2025

• WIP [mypyc] optimize f-string building

  #19611 opened Aug 7, 2025

• Make IntEnum/StrEnum values passable to functions expecting literal ints or strs

  #19617 opened Aug 8, 2025

• [mypyc] feat: stararg fastpath when calling fn(*args) with tuple

  #19623 opened Aug 9, 2025

• [mypyc] feat: extend stararg fastpath from #19623 to handle lists and generic sequences

  #19629 opened Aug 9, 2025

• [mypyc] feat: extend stararg fastpath from #19629 with star2 fastpath

  #19630 opened Aug 9, 2025

• [mypyc] feat: PyObject_CallObject op for fn(*args)

  #19631 opened Aug 9, 2025

• Another two micro-optimizations

  #19633 opened Aug 9, 2025

• Special-case enum method calls

  #19634 opened Aug 10, 2025

• Fix `--strict-equality` for iteratively visited code

  #19635 opened Aug 10, 2025

• Remove some of the Anys from mypy/config_parser.py

  #19637 opened Aug 10, 2025

• [refactor] increase consistency in stdout and stderr optional arguments

  #19638 opened Aug 10, 2025

11 Issues closed by 3 people

• Mypy configuration is incomplete

  #19429 closed Aug 9, 2025

• `__new__` return types are not respected (reported as error and overwritten by the current class) unless the return type is a subclass of the current class

  #19624 closed Aug 9, 2025

• MyPy does not recognize methods as `MethodType`, only as `Callable`

  #19620 closed Aug 9, 2025

• Mypy crash on master with property alias with setters

  #19572 closed Aug 8, 2025

• False positive on overload implementation does not accept all possible arguments with varargs

  #19612 closed Aug 8, 2025

• Incorrect handling of overloads with `defaultdict` and `MutableMapping`

  #19525 closed Aug 8, 2025

• TypeGuard/TypeIs broken on __call__ with fresh class

  #19575 closed Aug 8, 2025

• Crash when using an invalid 'enable_error_code' value in pyproject.toml

  #19491 closed Aug 8, 2025

• Overloaded deprecated __init__ method use is not reported

  #19588 closed Aug 5, 2025

• Unexpected error when assigning dict literal to union containing TypedDict

  #19590 closed Aug 5, 2025

• Upcasting causes incompatible types in assignment with `TypedDict`

  #14991 closed Aug 5, 2025

18 Issues opened by 15 people

• `name-defined` is whitespace-dependent

  #19632 opened Aug 9, 2025

• Specify behavior for `Literal?` types.

  #19625 opened Aug 9, 2025

• Severe performance degradation with lots of constrained type variables in a generic class

  #19622 opened Aug 9, 2025

• unexpected "var-annotated" when using constrained TypeVar

  #19618 opened Aug 8, 2025

• MyIntEnum.ONE should be passable to functions expecting Literal[1] arguments

  #19616 opened Aug 8, 2025

• Wrong inference for `abs/__abs__` or function that calls a method on a generic type.

  #19609 opened Aug 7, 2025

• TypeGuard behavior does not match python semantics in async functions

  #19608 opened Aug 7, 2025

• `Final` nested inside `ClassVar` results in `Any`

  #19607 opened Aug 7, 2025

• `--enable-error-code unreachable` does not enable unreachability analysis, yet neither is it reported as an invalid error code (etc)

  #19604 opened Aug 7, 2025

• Complete bi-directional linking between cli-flags/configs and error codes

  #19603 opened Aug 7, 2025

• Configuration file entries for stubgen

  #19602 opened Aug 7, 2025

• Forward-referencing type application with type variable in a value expression in stubs emits confusing error

  #19601 opened Aug 6, 2025

• Matching tuple against union merges field types

  #19599 opened Aug 6, 2025

• private (name mangled) attributes within inherited classes can not have different types

  #19598 opened Aug 6, 2025

• Should there be a mypy-path command-line flag?

  #19597 opened Aug 6, 2025

• Consider an `__eq__` that always raises as non-overlapping for equality purposes?

  #19595 opened Aug 5, 2025

• function untyped after decorator transformation

  #19589 opened Aug 4, 2025

• Self type is not expanded correctly when accessed on a type variable with union bound

  #19584 opened Aug 4, 2025

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

• WIP: new mypyc primitive for `weakref.ref.__call__`

  #19145 commented on Aug 10, 2025 • 1 new comment

• mypy infer incorrect types in frozen dataclass with descriptors as attributes.

  #17601 commented on Aug 4, 2025 • 0 new comments

• [PEP 747] Recognize TypeForm[T] type and values (#9773)

  #18690 commented on Aug 5, 2025 • 0 new comments

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

  #19046 commented on Aug 4, 2025 • 0 new comments

• feat(mypyc): proper weakref support

  #19056 commented on Aug 7, 2025 • 0 new comments

• feat: new mypyc primitives for weakref.proxy

  #19217 commented on Aug 10, 2025 • 0 new comments

• Allow TypeVarTuple arguments to subclasses of generic TypedDict

  #19234 commented on Aug 5, 2025 • 0 new comments

• Do not display import-related errors after module-level always false assert

  #19347 commented on Aug 8, 2025 • 0 new comments

• Try to fix problems caused by in-place modification of typevar defaults

  #19382 commented on Aug 8, 2025 • 0 new comments

• [PEP 696] Fix swapping TypeVars with defaults.

  #19449 commented on Aug 4, 2025 • 0 new comments

• Apply union expansion when checking ops involving typevars

  #19455 commented on Aug 8, 2025 • 0 new comments

• [PEP 695] Fix incorrect Variance Computation with Polymorphic Methods.

  #19466 commented on Aug 4, 2025 • 0 new comments

• [match-case] fix matching against `typing.Callable` and `Protocol` types.

  #19471 commented on Aug 4, 2025 • 0 new comments

• feat: `__repr__` method for RefExpr and NameExpr

  #19486 commented on Aug 4, 2025 • 0 new comments

• [mypyc] feat: true_dict_rprimitive for optimized dict fastpath usage

  #19499 commented on Aug 6, 2025 • 0 new comments

• [mypyc] feat: cache len for iterating over immutable types and expressions with length known at compile time

  #19503 commented on Aug 7, 2025 • 0 new comments

• [match-case] Fix narrowing of class pattern with union-argument.

  #19517 commented on Aug 4, 2025 • 0 new comments

• [mypyc] Add prefix to attributes of generator classes

  #19535 commented on Aug 5, 2025 • 0 new comments

• Update update_data.py: make the space in error comments optional

  #19546 commented on Aug 7, 2025 • 0 new comments

• refactor `visit_conditional_expr` to fix ternary behavior (option 1)

  #19563 commented on Aug 4, 2025 • 0 new comments

• [stubtest] Check runtime availability of private types not marked `@type_check_only`

  #19574 commented on Aug 8, 2025 • 0 new comments

• [mypyc] feat: optimize C code for str.count

  #19582 commented on Aug 4, 2025 • 0 new comments

• [regression] Type narrowing for through `not issubclass(…)` broken for union of TypeVar instance / types in 1.17

  #19529 commented on Aug 4, 2025 • 0 new comments

• mypy reports no issues on access of conditionally available fields

  #18708 commented on Aug 4, 2025 • 0 new comments

• dmypy crash

  #18755 commented on Aug 5, 2025 • 0 new comments

• IntEnum literals are not considerable comparable with ints

  #16327 commented on Aug 5, 2025 • 0 new comments

• Importing IPython confuses mypy about package '__main__.py'

  #19500 commented on Aug 5, 2025 • 0 new comments

• Include binary wheels for ARM Windows

  #18593 commented on Aug 6, 2025 • 0 new comments

• --strict does not include all mypy checks

  #14143 commented on Aug 7, 2025 • 0 new comments

• Mypyc should support `__file__`

  #17795 commented on Aug 7, 2025 • 0 new comments

• join is not always symmetric

  #19551 commented on Aug 7, 2025 • 0 new comments

• Run without module detection logic

  #10428 commented on Aug 7, 2025 • 0 new comments

• False positive - Type narrowing of class attributes

  #17537 commented on Aug 7, 2025 • 0 new comments

• For tuple in match, _ isn't determined to be Never, but _, _ is

  #18792 commented on Aug 8, 2025 • 0 new comments

• segfault on recursive generic function class

  #18219 commented on Aug 8, 2025 • 0 new comments

• Internal error: De-serialization failure: `TypeInfo` not fixed

  #18087 commented on Aug 8, 2025 • 0 new comments

• `meet_types` gives unexpected results when meeting literal and Instance

  #19560 commented on Aug 9, 2025 • 0 new comments

• Type narrowing for a tuple is worse with match than with the equivalent isinstance check

  #19082 commented on Aug 9, 2025 • 0 new comments

• Announcement issue for plugin API changes

  #6617 commented on Aug 9, 2025 • 0 new comments

• Support a method of copying function signature

  #10574 commented on Aug 10, 2025 • 0 new comments

• Allow any type to be returned by `__new__`

  #14471 commented on Aug 9, 2025 • 0 new comments

• Add GitHub annotations format for `--output`

  #17771 commented on Aug 5, 2025 • 0 new comments

• Add special handling for typing.get_args

  #17784 commented on Aug 6, 2025 • 0 new comments