Overview

20 Pull requests merged by6 people

• Fix "ignored exception inhasattr" in dmypy

  #19428 mergedJul 18, 2025

• Uninhabited should have all attributes

  #19300 mergedJul 18, 2025

• Micro-optimize type indirection visitor

  #19460 mergedJul 18, 2025

• [mypyc] Add script to compile mypy with trace logging and run mypy

  #19475 mergedJul 17, 2025

• Micro-optimize TypeTraverserVisitor

  #19459 mergedJul 17, 2025

• Micro-optimize chained plugin

  #19464 mergedJul 17, 2025

• Micro-optimize ExpandTypeVisitor

  #19461 mergedJul 17, 2025

• Micro-optimization: Avoid temporary set creation in is_proper_subtype

  #19463 mergedJul 16, 2025

• Speed up the default plugin

  #19462 mergedJul 16, 2025

• perf: return fromis_subtype early

  #19400 mergedJul 16, 2025

• [mypyc] Optionally log a sampled operation trace to a file

  #19457 mergedJul 16, 2025

• [mypyc] Report error when registering a nested function

  #19450 mergedJul 16, 2025

• Sync typeshed

  #19446 mergedJul 16, 2025

• Prevent a crash when InitVar is redefined with a method in a subclass

  #19453 mergedJul 16, 2025

• [mypyc] Refactor: make LoadMem not borrow by default

  #19445 mergedJul 15, 2025

• [mypyc] Add primitives for isinstance of built-in types

  #19435 mergedJul 15, 2025

• [mypyc] Add SetElement op for initializing struct values

  #19437 mergedJul 15, 2025

• Updates to 1.17 changelog

  #19436 mergedJul 14, 2025

• Initial changelog for 1.17 release

  #19427 mergedJul 14, 2025

• [mypyc] Simplify IR generated for "for" loops over strings

  #19434 mergedJul 14, 2025

7 Pull requests opened by4 people

• feat(overloads): Expand finite sum types into a union of possible types

  #19431 openedJul 13, 2025

• Add functools.lru_cache plugin support Fixes #16261

  #19432 openedJul 13, 2025

• Fix swapping TypeVars with defaults.

  #19449 openedJul 15, 2025

• Apply union expansion when checking ops involving typevars

  #19455 openedJul 16, 2025

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

  #19466 openedJul 16, 2025

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

  #19471 openedJul 17, 2025

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

  #19473 openedJul 17, 2025

10 Issues closed by8 people

• TypeError: analyze_member_access() got an unexpected keyword argument 'msg'

  #19478 closedJul 18, 2025

• AssertionError raised after #19248

  #19425 closedJul 18, 2025

• Document how to profile and optimize mypy

  #19472 closedJul 18, 2025

• runtime flag to disable all `# type: ignore` comments

  #19476 closedJul 17, 2025

• [1.16 regression] Crashes on a combination of dataclass inheritance, InitVar, and properties.

  #19443 closedJul 16, 2025

• (🐞) generic `__init__` causes invalid error message "Type application has too few types"

  #16544 closedJul 15, 2025

• Getting a union from an `and` expression

  #16565 closedJul 15, 2025

• isinstance(..., (..., Any)) causes 'statement is unreachable'

  #10547 closedJul 14, 2025

• mypy does not type check arguments to `Annotated`

  #19438 closedJul 14, 2025

• Unsupported operand types for + ("list[None]" and "list[str]")

  #19413 closedJul 14, 2025

17 Issues opened by13 people

• Startup error: occasional "AssertionError: Cannot find component 'SSL' for 'OpenSSL.SSL.Context'"

  #19477 openedJul 17, 2025

• More specific inline dict type inference can fail on 1.17.0

  #19474 openedJul 17, 2025

• [match-case]/[isinstance] narrowing logic against the special `AnyCallable` Protocol differs from `callable()` check

  #19470 openedJul 17, 2025

• [match-case] mypy ignores missing `@runtime_checkable` in class-pattern

  #19469 openedJul 17, 2025

• [match-case] class pattern narrowing with Union-argument different from equivalent `isinstance` call.

  #19468 openedJul 16, 2025

• Dict unpacking fails when used for building TypedDict with required keys

  #19467 openedJul 16, 2025

• Bug report (Regression): bad overload resolution in `--strict` mode

  #19458 openedJul 16, 2025

• Extending `TraverserVisitor` causes `TypeError: interpreted classes cannot inherit from compiled traits`

  #19456 openedJul 16, 2025

• Comparison operators emit "Unsupported operand types" when using `isinstance` to narrow `TypeVar` to union of numeric types

  #19454 openedJul 15, 2025

• No-field class derived from `dataclass_transform` base class uses base class's constructor signature

  #19452 openedJul 15, 2025

• [PEP 696] Assigning to type variables with defaults gives unexpected results

  #19444 openedJul 15, 2025

• Match statement parameter binding fails for subclass of generic class

  #19442 openedJul 15, 2025

• inline configurations (mypy comments) in strings still work

  #19441 openedJul 15, 2025

• [PEP 695] Incorrect Variance Computation with Polymorphic Constructor.

  #19439 openedJul 14, 2025

• `func-returns-value` false positive for union type?

  #19433 openedJul 13, 2025

• Walrus narrowing not propagated from inside expression

  #19430 openedJul 12, 2025

• Mypy configuration is incomplete

  #19429 openedJul 12, 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.

• Fix `Enum.value` inference for `Enum`s with `@cache`d methods

  #19374 commented onJul 14, 2025 • 2 new comments

• Add support for Pydantic models in `stubgen`

  #19095 commented onJul 15, 2025 • 1 new comment

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

  #19046 commented onJul 15, 2025 • 0 new comments

• feat(mypyc): proper weakref support

  #19056 commented onJul 14, 2025 • 0 new comments

• feat: new mypyc primitive for weakref.ref

  #19099 commented onJul 18, 2025 • 0 new comments

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

  #19145 commented onJul 14, 2025 • 0 new comments

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

  #19168 commented onJul 14, 2025 • 0 new comments

• feat: new mypyc primitives for weakref.proxy

  #19217 commented onJul 14, 2025 • 0 new comments

• Check slots assignments on self types

  #19332 commented onJul 14, 2025 • 0 new comments

• Adds positional and kwarg only symbols into generated stubs

  #19340 commented onJul 13, 2025 • 0 new comments

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

  #19347 commented onJul 12, 2025 • 0 new comments

• Enable --pretty by default

  #19380 commented onJul 16, 2025 • 0 new comments

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

  #19382 commented onJul 15, 2025 • 0 new comments

• Feature: Clear type info on del for local inferred variables (fixes #10005)

  #19386 commented onJul 17, 2025 • 0 new comments

• perf: try to cache inner contexts of overloads

  #19408 commented onJul 18, 2025 • 0 new comments

• perf: deduplicate `fast_container_type` and `fast_dict_type` items before joining

  #19409 commented onJul 18, 2025 • 0 new comments

• Support attribute access on enum members correctly

  #19422 commented onJul 18, 2025 • 0 new comments

• Type narrowing in while loop

  #14807 commented onJul 12, 2025 • 0 new comments

• Should `*args` narrow in type guards?

  #14273 commented onJul 12, 2025 • 0 new comments

• [question] How do I ask a question?

  #12426 commented onJul 12, 2025 • 0 new comments

• (🐞) `overload`s that exhaust finite `Literal`s(`bool`/`Enum`) not treated as exhaustive

  #14764 commented onJul 13, 2025 • 0 new comments

• Inconsistency for `[func-returns-value]`: Error not reported for `staticmethod`s

  #14179 commented onJul 13, 2025 • 0 new comments

• Add "<function> defined here" notes to more errors

  #4773 commented onJul 14, 2025 • 0 new comments

• Incompatible types when calling generinc `__init__` from generic `@classmethod`

  #17937 commented onJul 14, 2025 • 0 new comments

• ParamSpec seems to get lost with partial()

  #18589 commented onJul 14, 2025 • 0 new comments

• Subtype of mapping is not compatible type in `.update()` method

  #10970 commented onJul 14, 2025 • 0 new comments

• @final(TypedDict).get() with unknown key returns object instead of None

  #12143 commented onJul 14, 2025 • 0 new comments

• [1.10/11] Regression with Any in functools.wraps()

  #17171 commented onJul 15, 2025 • 0 new comments

• ABCMeta.register support

  #2922 commented onJul 15, 2025 • 0 new comments

• Add a way to ignore `type: ignore`, disabled error codes

  #13201 commented onJul 17, 2025 • 0 new comments

• 1.17 Release Planning

  #19306 commented onJul 18, 2025 • 0 new comments

• Fix `[func-returns-value]` not being trigged when calling decorated functions

  #18015 commented onJul 13, 2025 • 0 new comments

• Introduce temporary named expressions for `match` subjects

  #18446 commented onJul 14, 2025 • 0 new comments

• Consider property access from class objects (now for real)

  #18969 commented onJul 14, 2025 • 0 new comments