18 Pull requests merged by 4 people

• Remove force_uppercase_builtins default from test helpers

  #19173 merged May 30, 2025

• Start testing Python 3.14

  #19164 merged May 29, 2025

• [mypyc] Enable partial, unsafe support for free-threading

  #19167 merged May 29, 2025

• Add changelog for 1.16

  #19138 merged May 29, 2025

• Revert "Infer correct types with overloads of Type[Guard | Is]

  #19161 merged May 29, 2025

• Allow enum members to have type objects as values

  #19160 merged May 28, 2025

• Fix example to use correct method of Stack

  #19123 merged May 28, 2025

• [mypyc] Add comment about incref/decref and free-threaded builds

  #19155 merged May 28, 2025

• Fix nondeterministic type checking caused by nonassociative of None joins

  #19158 merged May 28, 2025

• Drop support for --python-version 3.8

  #19157 merged May 28, 2025

• Fix nondeterministic type checking caused by nonassociativity of joins

  #19147 merged May 28, 2025

• Sync typeshed

  #18930 merged May 27, 2025

• [mypyc] Refactor extension module C generation and generated C

  #19126 merged May 27, 2025

• [mypyc] Fix incref/decref on free-threaded builds

  #19127 merged May 27, 2025

• [mypyc] Improve documentation of native and non-native classes

  #19154 merged May 27, 2025

• Bump version to 1.17.0+dev

  #19070 merged May 27, 2025

• Document --allow-redefinition-new

  #19153 merged May 27, 2025

• Fix nondeterministic type checking by making join between TypeType and TypeVar commute

  #19149 merged May 27, 2025

7 Pull requests opened by 4 people

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

  #19144 opened May 23, 2025

• Weakref call

  #19145 opened May 23, 2025

• Provide a better fallback value for the python_version option

  #19162 opened May 28, 2025

• Update test requirements

  #19163 opened May 28, 2025

• experiment: handle `__hash__ = None` in somewhat more intuitive fashion

  #19168 opened May 29, 2025

• Deprecated --force-uppercase-builtins flag

  #19176 opened May 30, 2025

• Use more lower case builtins in error messages

  #19177 opened May 30, 2025

11 Issues closed by 6 people

• [mypyc] Pickle test failure with Python 3.14.0a1

  #17973 closed May 30, 2025

• Dataclasses fail to parse kwargs correctly

  #19172 closed May 30, 2025

• Unused function arguments marked with underscore `_` are required to have type annotation

  #18911 closed May 30, 2025

• The result of `get_origin()` on a `GenericAlias` variable "is not indexable"

  #18894 closed May 30, 2025

• [1.16 regression] determining exhaustive match on an enum with type members

  #19151 closed May 28, 2025

• Nondeterministic type checking on pytorch/vision

  #19121 closed May 28, 2025

• MyPy is nondeterministic across runs

  #16979 closed May 28, 2025

• Incorrect error [list-tem] with deque

  #19156 closed May 28, 2025

• Type error randomly raised when using a decorator and a `type: ignore` comment

  #18125 closed May 27, 2025

• mypy crashes with python 3.14 within argparse

  #19150 closed May 26, 2025

• Unexpected failure of union type to unify with generic type with value restriction

  #19141 closed May 23, 2025

14 Issues opened by 12 people

• Better support for property-subclasses / read-only descriptors

  #19178 opened May 30, 2025

• mypyc 1.16 regression: x86_64-cpython-3{9,10,11,12,13} error: ‘FOO_finalize’ undeclared here (not in a function); did you mean ‘FOO_init’?

  #19175 opened May 30, 2025

• Make it easier to retry in upload-pypi script

  #19174 opened May 30, 2025

• "Invalid self argument" for numpy's `iadd`

  #19171 opened May 30, 2025

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

  #19170 opened May 30, 2025

• overloads in `if TYPE_CHECKING` shouldn't require implementations

  #19169 opened May 29, 2025

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

  #19166 opened May 29, 2025

• [1.16 regression] assigning a lambda to subclass w/ generics

  #19165 opened May 29, 2025

• [1.16 regression] failure to exhaustively narrow type var bounded by union

  #19159 opened May 28, 2025

• Keep `Literal` after indexing?

  #19152 opened May 26, 2025

• Request: split off `Untyped decorator makes function "..." untyped` from `[misc]`

  #19148 opened May 26, 2025

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

  #19146 opened May 24, 2025

• Infer type of generic class from return type of (optionally awaitable) callable passed to constructor

  #19143 opened May 23, 2025

• Sequence of types

  #19142 opened May 23, 2025

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

• 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 commented on May 30, 2025 • 16 new comments

• Fix/attrs init overload

  #19104 commented on May 30, 2025 • 5 new comments

• Fix nondeterministic type checking by making join with explicit Protocol and type promotion commute

  #18402 commented on May 28, 2025 • 3 new comments

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

  #18481 commented on May 24, 2025 • 0 new comments

• Use checkmember.py to check protocol subtyping

  #18943 commented on May 30, 2025 • 0 new comments

• Make infer_condition_value recognize the whole truth table

  #18944 commented on May 29, 2025 • 0 new comments

• Erase stray typevars in functools.partial generic

  #18954 commented on May 29, 2025 • 0 new comments

• Bind self-types in checkmember for decorated classmethods

  #19025 commented on May 28, 2025 • 0 new comments

• Include walrus assignments in conditional inference

  #19038 commented on May 29, 2025 • 0 new comments

• Allow adjacent conditionally-defined overloads

  #19042 commented on May 29, 2025 • 0 new comments

• Support running stubtest in non-UTF8 terminals

  #19085 commented on May 29, 2025 • 0 new comments

• Add support for Pydantic models in `stubgen`

  #19095 commented on May 29, 2025 • 0 new comments

• feat: new mypyc primitive for weakref.ref

  #19099 commented on May 30, 2025 • 0 new comments

• Include tuple fallback in constraints built from tuple types

  #19100 commented on May 29, 2025 • 0 new comments

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

  #19115 commented on May 29, 2025 • 0 new comments

• enable --pretty by default

  #19122 commented on May 23, 2025 • 0 new comments

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

  #19125 commented on May 27, 2025 • 0 new comments

• Add config key to extend config files

  #19135 commented on May 28, 2025 • 0 new comments

• Conditionally excluding backward incompatible syntax based on python version

  #19134 commented on May 24, 2025 • 0 new comments

• Unpack generic tuple with no args not working

  #19140 commented on May 26, 2025 • 0 new comments

• Honor return type of `__new__` even if not a subclass

  #15182 commented on May 26, 2025 • 0 new comments

• "An implementation for an overloaded function is not allowed in a stub file" for overloaded type hint

  #19128 commented on May 26, 2025 • 0 new comments

• Composing multiple configuration files

  #9620 commented on May 27, 2025 • 0 new comments

• [1.16 regression] narrowing on is_dataclass

  #19139 commented on May 28, 2025 • 0 new comments

• [1.16 makes more common] Inference of Any against optional type infers Never

  #8829 commented on May 28, 2025 • 0 new comments

• No first-class bound method support

  #14235 commented on May 29, 2025 • 0 new comments

• Overloads not resolved correctly when argument is `Any` and return types use `TypeGuard` or `TypeIs`

  #17579 commented on May 29, 2025 • 0 new comments

• Mypy doesn't narrow a matched object's type (generic or not) based on attribute subpattern match

  #19081 commented on May 29, 2025 • 0 new comments

• Decorated properties report error: "not callable" in mypy 1.7.1 and master

  #16694 commented on May 30, 2025 • 0 new comments

• Website still links removed ROADMAP

  #11997 commented on May 30, 2025 • 0 new comments

• 1.16 Release Planning

  #18739 commented on May 30, 2025 • 0 new comments

• Support narrowing literals and enums using the in operator in combination with list, set, and tuple expressions.

  #17044 commented on May 23, 2025 • 0 new comments

• fix: unpack unions inside tuples in except handlers

  #17762 commented on May 27, 2025 • 0 new comments

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

  #18884 commented on May 29, 2025 • 0 new comments