30 Pull requests merged by 11 people

• 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

• Remove last unreachable block from mypyc code

  #19086 merged Jun 5, 2025

• Fix type extraction from isinstance checks

  #19223 merged Jun 5, 2025

• Erase stray typevars in functools.partial generic

  #18954 merged Jun 5, 2025

• Add initial changelog entries for 1.17

  #19200 merged Jun 5, 2025

• Make infer_condition_value recognize the whole truth table

  #18944 merged Jun 5, 2025

• Handle assignment of bound methods in class bodies

  #19233 merged Jun 5, 2025

• Support type aliases, NamedTuple and TypedDict in constrained TypeVar defaults

  #18884 merged Jun 5, 2025

• Move dataclass kw_only fields to the end of the signature

  #19018 merged Jun 5, 2025

• Deprecated --force-uppercase-builtins flag

  #19176 merged Jun 5, 2025

• [mypyc] Add note about using non-native class to subclass built-in types

  #19236 merged Jun 4, 2025

• Provide a better fallback value for the python_version option

  #19162 merged Jun 4, 2025

• [mypyc] Make some generated classes implicitly final

  #19235 merged Jun 4, 2025

• Avoid spurious non-overlapping eq error with metaclass with __eq__

  #19220 merged Jun 4, 2025

• [mypyc] Free coroutine after await encounters StopIteration

  #19231 merged Jun 4, 2025

• [mypyc] Use non-tagged integer for generator label

  #19218 merged Jun 4, 2025

• Remove --show-speed-regression in primer

  #19226 merged Jun 4, 2025

• Add flag to raise error if match statement does not match exaustively

  #19144 merged Jun 4, 2025

• Narrow type variable bounds in binder

  #19183 merged Jun 3, 2025

• Fix crash on partial type used as context

  #19216 merged Jun 3, 2025

• Add regression test for dataclass typeguard

  #19214 merged Jun 3, 2025

• Fix crash on invalid property inside its own body

  #19208 merged Jun 3, 2025

10 Pull requests opened by 9 people

• Add direct HTML reporter to replace XSLT-based output (ideia to fix issue #909)

  #19210 opened Jun 2, 2025

• feat: new mypyc primitives for weakref.proxy

  #19217 opened Jun 3, 2025

• Add test interactions for PP572 with --allow-redefinition

  #19222 opened Jun 3, 2025

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

  #19225 opened Jun 4, 2025

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

  #19229 opened Jun 4, 2025

• Allow TypeVarTuple arguments to subclasses of generic TypedDict

  #19234 opened Jun 4, 2025

• Improve the support for promotions inside unions.

  #19245 opened Jun 6, 2025

• Fix and simplify error de-duplication

  #19247 opened Jun 7, 2025

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

  #19249 opened Jun 7, 2025

• Fix missing error context for unpacking assignment involving star expression

  #19258 opened Jun 8, 2025

55 Issues closed by 14 people

• 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

• stubgen: mangles from _typeshed import Incomplete

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

• Specifying self-type for first `__init__` overload affects `isinstance` type narrowing

  #19221 closed Jun 5, 2025

• mypy too strict in enforcing generic return types when they are unions

  #19239 closed Jun 5, 2025

• Spurious error with `partial` and `TypeVar`

  #18953 closed Jun 5, 2025

• Spurious error with `partial` and `ParamSpec`

  #15215 closed Jun 5, 2025

• Unreachability depends on statement ordering

  #18901 closed Jun 5, 2025

• [1.16 regression] Incorrect inferred type when using a classmethod from a different class as an attribute

  #19146 closed Jun 5, 2025

• Method as variable inside class fail to count parameters

  #18438 closed Jun 5, 2025

• Type variable defaults aren't checked properly against `TypeAliasType(...)` aliases

  #18862 closed Jun 5, 2025

• Constrained `TypeVar` default causes false positive error if the default is a `TypedDict` type

  #17686 closed Jun 5, 2025

• Attributes without a default cannot follow attributes with one

  #17731 closed Jun 5, 2025

• `kw_only` dataclass fields confuse mypy on argument order

  #19017 closed Jun 5, 2025

• mypy 1.16 hates PEP 747 `typing.TypeForm` and thus @beartype

  #19227 closed Jun 5, 2025

• random slow down

  #19230 closed Jun 4, 2025

• when soft-error-limit is -1,it doesn't work

  #19228 closed Jun 4, 2025

• dataclass.replace(obj, **dict) produces spurious errors

  #19219 closed Jun 4, 2025

• mypy not raising error on inexhaustive case/match statements in strict mode

  #19136 closed Jun 4, 2025

• Type narrowing of 'TypeVar' causes '[return-value]' error

  #15151 closed Jun 3, 2025

• [1.16 regression] narrowing a typevar via comparison to None

  #19166 closed Jun 3, 2025

• Inconsistent behavior when narrowing bounded generics.

  #13426 closed Jun 3, 2025

• Wrong type narrowing when using type without an argument in isinstance call

  #13462 closed Jun 3, 2025

• Mypy inappropriately infers class type as _typeshed.DataclassInstance

  #14941 closed Jun 3, 2025

• TypeVar resolved to a concrete type using isinstance causes mypy to become confused at the equivalence

  #11664 closed Jun 3, 2025

• False-positive on TypeVar bound class return value

  #10817 closed Jun 3, 2025

• issubclass(...) causes a TypeVar to become a Union, leading to false positives

  #11163 closed Jun 3, 2025

• TypeVar error

  #12882 closed Jun 3, 2025

• Incompatible return value type with TypeVar

  #10003 closed Jun 3, 2025

• `Union` is incorrectly constructed when `callable()` is used, resulting in a false positive

  #9778 closed Jun 3, 2025

• Bug: `issubclass()` doesn't narrow TypeVar type with Protocol

  #8556 closed Jun 3, 2025

• Class typevars lose information from `isinstance` checks

  #5720 closed Jun 3, 2025

• [1.16 apparent regression] mypy 1.16 fails to analyze pydantic 2.11.5 (succeeded in mypy 1.15)

  #19209 closed Jun 3, 2025

• [1.16 regression] Internal error: must never apply partial type

  #19213 closed Jun 3, 2025

• `__repr__` defined from helper function cannot be overridden

  #17562 closed Jun 3, 2025

• Error while checking an edx-platform django model file

  #19215 closed Jun 3, 2025

• `t.Optional[t.Union[...]]` leads to incorrect behaviour

  #19204 closed Jun 3, 2025

• [1.16 regression] narrowing on is_dataclass

  #19139 closed Jun 3, 2025

• [1.16 regression] crashes on invalid and self-referential setter

  #19205 closed Jun 3, 2025

• Problems with narrowing generic `T | Sequence[T]`

  #19202 closed Jun 3, 2025

14 Issues opened by 13 people

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

  #19261 opened Jun 9, 2025

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

  #19259 opened Jun 9, 2025

• Missing line number error report

  #19257 opened Jun 8, 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

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

  #19243 opened Jun 6, 2025

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

  #19242 opened Jun 6, 2025

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

  #19241 opened Jun 6, 2025

• [1.16 regression] duplicated note for incompatible type

  #19240 opened Jun 5, 2025

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

  #19237 opened Jun 4, 2025

• Non-hashable tuple should not be accepted as `Hashable`

  #19232 opened Jun 4, 2025

• "--version" option does not produce output matching an existing git tag

  #19212 opened Jun 3, 2025

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

  #19211 opened Jun 2, 2025

31 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 9, 2025 • 11 new comments

• Prohibit assignment to __class__ (Fixes #7724)

  #19180 commented on Jun 3, 2025 • 4 new comments

• Refactor: compact and optimize infer_overload_return_type while preserving behavior and comments

  #19198 commented on Jun 5, 2025 • 1 new comment

• feat: new mypyc primitive for weakref.ref

  #19099 commented on Jun 8, 2025 • 1 new comment

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

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

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

  #19145 commented on Jun 5, 2025 • 0 new comments

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

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

• enable --pretty by default

  #19122 commented on Jun 4, 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(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 a flag `--enable-all-error-codes`, which enables all error codes

  #19048 commented on Jun 4, 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 3, 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

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

  #18690 commented on Jun 4, 2025 • 0 new comments

• Regression: descriptor not working in protocol

  #19054 commented on Jun 9, 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

• `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

• 1.16 Release Planning

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

• Mypy plugins: Changing class signature impossible here?

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

• warn-unreachable false-positive when method updates attribute after assert

  #11969 commented on Jun 5, 2025 • 0 new comments

• Wording in `mypy.plugin.Plugin.get_method[_signature]_hook` docstring

  #19181 commented on Jun 5, 2025 • 0 new comments

• Add support for TypedDict extra_items= and closed= (PEP 728)

  #18176 commented on Jun 5, 2025 • 0 new comments

• False positive `unreachable` when variable is set and reset inside loop

  #14987 commented on Jun 4, 2025 • 0 new comments

• [1.16 regression] failure to exhaustively narrow type var bounded by union (across files)

  #19159 commented on Jun 4, 2025 • 0 new comments

• False positive for "Non-overlapping identity check" when comparing Enum variants

  #10910 commented on Jun 3, 2025 • 0 new comments

• Function with generic class and generic value arguments are not inferred when generic is a TypedDict

  #19201 commented on Jun 3, 2025 • 0 new comments