87 Pull requests merged by 16 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

• Recognize buffer protocol special methods

  #19581 merged Aug 4, 2025

• Introduce temporary named expressions for match subjects

  #18446 merged Aug 3, 2025

• [mypyc] feat: unwrap NewType types to their base types for optimized code paths

  #19497 merged Aug 3, 2025

• Interpret bare ClassVar as inferred, not Any

  #19573 merged Aug 3, 2025

• Support attribute access on enum members correctly

  #19422 merged Aug 3, 2025

• Follow-up after #19025: test and cleanup

  #19294 merged Aug 3, 2025

• Check slots assignments on self types

  #19332 merged Aug 3, 2025

• [docs] Update common_issues.rst: update information about reveal type & locals

  #19059 merged Aug 2, 2025

• Fix a bug where inline configurations of error codes would lose their values if accompanied by another inline configuration.

  #19075 merged Aug 2, 2025

• Mention in the Any documentation how object is preferable

  #19103 merged Aug 2, 2025

• [docs] Update common_issues.rst: mention orjson in the Mypy slow section

  #19058 merged Aug 2, 2025

• [docs] Include a real listing of the flags strict enables in the online documentation

  #19062 merged Aug 2, 2025

• [stubtest] Allow runtime-existing aliases of types marked as @type_check_only

  #19568 merged Aug 2, 2025

• Add stubtest test for property aliases

  #19567 merged Aug 2, 2025

• Add internal flag to disable expression cache

  #19569 merged Aug 2, 2025

• Update crash issue template to use syntax highlighting in code blocks

  #19527 merged Aug 2, 2025

• Optimize bind_self() and deprecation checks

  #19556 merged Aug 2, 2025

• fix: prevent crash on dataclass with PEP695 TypeVarTuple on py3.13

  #19565 merged Aug 2, 2025

• Keep trivial instances and aliases during expansion

  #19543 merged Aug 1, 2025

• feat: new mypyc primitive for weakref.ref

  #19099 merged Jul 31, 2025

• Explicitly check case‐sensitivity of file system for tests

  #19540 merged Jul 31, 2025

• Update changelog for 1.17.1

  #19550 merged Jul 31, 2025

• Update test requirements

  #19539 merged Jul 30, 2025

• [mypyc] Enable free threading when compiling multiple modules

  #19541 merged Jul 30, 2025

• [mypyc] Make type objects immortal if using free threading

  #19538 merged Jul 30, 2025

• Use cache for DictExpr as well

  #19536 merged Jul 30, 2025

• Use cache for OpExpr

  #19523 merged Jul 29, 2025

• perf: deduplicate fast_container_type and fast_dict_type items before joining

  #19409 merged Jul 29, 2025

• Move self argument checks to a later phase - after decorator application, if any

  #19490 merged Jul 28, 2025

• Try simple-minded call expression cache

  #19505 merged Jul 28, 2025

• [mypyc] Fix list.pop primitive on free-threaded builds

  #19522 merged Jul 28, 2025

• [mypyc] Only generate an export table if using separate compilation

  #19521 merged Jul 28, 2025

• Various minor docstring and comment updates

  #19519 merged Jul 28, 2025

• Cache type_object_type()

  #19514 merged Jul 27, 2025

• Fix #19507 Prevent final reassignment in match case

  #19496 merged Jul 27, 2025

• Avoid duplicate visit in check_boolean_op()

  #19515 merged Jul 26, 2025

• docs: update cython and setuptools RTD URLs

  #19512 merged Jul 26, 2025

• Optimize generic inference passes

  #19501 merged Jul 25, 2025

• Use normalized tuples for fallback calculation

  #19111 merged Jul 22, 2025

• Fix decorated methods with self-types in protocols

  #19484 merged Jul 21, 2025

• Retain None as constraints bottom if no bottoms were provided

  #19485 merged Jul 21, 2025

• Fix "ignored exception in hasattr" in dmypy

  #19428 merged Jul 18, 2025

• Uninhabited should have all attributes

  #19300 merged Jul 18, 2025

• Micro-optimize type indirection visitor

  #19460 merged Jul 18, 2025

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

  #19475 merged Jul 17, 2025

• Micro-optimize TypeTraverserVisitor

  #19459 merged Jul 17, 2025

• Micro-optimize chained plugin

  #19464 merged Jul 17, 2025

• Micro-optimize ExpandTypeVisitor

  #19461 merged Jul 17, 2025

• Micro-optimization: Avoid temporary set creation in is_proper_subtype

  #19463 merged Jul 16, 2025

• Speed up the default plugin

  #19462 merged Jul 16, 2025

• perf: return from is_subtype early

  #19400 merged Jul 16, 2025

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

  #19457 merged Jul 16, 2025

• [mypyc] Report error when registering a nested function

  #19450 merged Jul 16, 2025

• Sync typeshed

  #19446 merged Jul 16, 2025

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

  #19453 merged Jul 16, 2025

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

  #19445 merged Jul 15, 2025

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

  #19435 merged Jul 15, 2025

• [mypyc] Add SetElement op for initializing struct values

  #19437 merged Jul 15, 2025

• Updates to 1.17 changelog

  #19436 merged Jul 14, 2025

• Initial changelog for 1.17 release

  #19427 merged Jul 14, 2025

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

  #19434 merged Jul 14, 2025

• [mypyc] Use native integers for some sequence indexing operations

  #19426 merged Jul 11, 2025

• [mypyc] Remove the unused CPyList_GetItemUnsafe primitive

  #19424 merged Jul 11, 2025

• [mypyc] Add a few native int helper irbuilder methods

  #19423 merged Jul 11, 2025

• Allow adjacent conditionally-defined overloads

  #19042 merged Jul 11, 2025

• [mypyc] Add back test for next with list iterator

  #19419 merged Jul 11, 2025

• [mypyc] Fail run test if default driver does not find test cases

  #19420 merged Jul 11, 2025

44 Pull requests opened by 15 people

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

  #19431 opened Jul 13, 2025

• Add functools.lru_cache plugin support Fixes #16261

  #19432 opened Jul 13, 2025

• [PEP 696] Fix swapping TypeVars with defaults.

  #19449 opened Jul 15, 2025

• Apply union expansion when checking ops involving typevars

  #19455 opened Jul 16, 2025

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

  #19466 opened Jul 16, 2025

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

  #19471 opened Jul 17, 2025

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

  #19473 opened Jul 17, 2025

• Add `collections._tuplegetter` support

  #19479 opened Jul 19, 2025

• feat: `__repr__` method for RefExpr and NameExpr

  #19486 opened Jul 21, 2025

• When selecting an overload item for constraint template matching, treat any ParamSpec in the template as free

  #19487 opened Jul 21, 2025

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

  #19499 opened Jul 24, 2025

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

  #19503 opened Jul 25, 2025

• Enable pretty by default

  #19510 opened Jul 25, 2025

• feat(test): mypyc tests for container creation from `range`

  #19511 opened Jul 25, 2025

• feat: index-range err code

  #19513 opened Jul 26, 2025

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

  #19517 opened Jul 27, 2025

• [wip] [mypyc] feat: unroll certain for loops with known params

  #19518 opened Jul 28, 2025

• [mypyc] Add prefix to attributes of generator classes

  #19535 opened Jul 29, 2025

• [wip] [mypyc] feat: quasi-constant folding for DictExpr and TupleExpr

  #19542 opened Jul 30, 2025

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

  #19546 opened Jul 30, 2025

• Document mypy exit codes

  #19549 opened Jul 31, 2025

• Allow skip and xfail to both be applied to test cases

  #19552 opened Jul 31, 2025

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

  #19562 opened Aug 1, 2025

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

  #19563 opened Aug 1, 2025

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

  #19574 opened Aug 2, 2025

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

  #19582 opened Aug 4, 2025

• 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

73 Issues closed by 16 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

• Upcasting causes incompatible types in assignment with `TypedDict`

  #14991 closed Aug 5, 2025

• Unexpected error when assigning dict literal to union containing TypedDict

  #19590 closed Aug 5, 2025

• Exhaustive checks with `assert_never` when using `match` on a 2-tuple fails

  #16650 closed Aug 3, 2025

• match narrowing fails when the operand is an `await` expression

  #17230 closed Aug 3, 2025

• Type narrowing broken with dict items

  #18440 closed Aug 3, 2025

• 1.16 Release Planning

  #18739 closed Aug 3, 2025

• 1.15 Release Tracking Issue

  #18487 closed Aug 3, 2025

• [CI]: `mypy-primer(0)` timeout due to long checking of `colour`

  #19403 closed Aug 3, 2025

• Bare ClassVar should infer type instead of defaulting to Any

  #5587 closed Aug 3, 2025

• Type of an Enum nonmember is wrong when accessed through a member

  #19418 closed Aug 3, 2025

• Faulty type inference for `Enum` attributes

  #15454 closed Aug 3, 2025

• Enum instance type ignored in match/case statements

  #13841 closed Aug 3, 2025

• Exhaustiveness checking false positives when using `match self` or `match self.value` inside an Enum

  #15186 closed Aug 3, 2025

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

  #10910 closed Aug 3, 2025

• Enum elements accessed via 'self' have 'auto' type

  #12107 closed Aug 3, 2025

• Enum items are mistyped

  #11368 closed Aug 3, 2025

• TypeVar with union bound changes return type of `type(t)()`

  #18478 closed Aug 3, 2025

• Slots not checked if `Self` annotation is present

  #19331 closed Aug 3, 2025

• (🐞) Invalid per-module options in inline configuration are silently ignored

  #12342 closed Aug 2, 2025

• Should include a real listing of the flags strict enables in the online documentation.

  #19061 closed Aug 2, 2025

• Stubtest thinks a property alias isn't read-only in stubs

  #19509 closed Aug 2, 2025

• Generic dataclass with TypeVarTuple crashes Mypy

  #19559 closed Aug 2, 2025

• mypy error with generics typing and singledispatch

  #19564 closed Aug 2, 2025

• func-returns-value check is overly restrictive and prevents legitimate None-returning functions

  #19555 closed Aug 1, 2025

• crash for a very specific invocation of mypy: `assert isinstance(visitor, SyntheticTypeVisitor)`

  #19286 closed Aug 1, 2025

• 1.15.0 regression: `list.append` false positive with `Signals` enum

  #18628 closed Jul 31, 2025

• [docs] Update Code Conventions to reflect the switch from flake8 to ruff

  #19498 closed Jul 31, 2025

• Mypy errors out for deeply nested dictionaries

  #14636 closed Jul 30, 2025

• Wildly inconsistent performance for seemingly trivial changes to source code

  #14271 closed Jul 30, 2025

• Mypy hangs indefinitely trying to analyse a file with huge nested dicts

  #14970 closed Jul 30, 2025

• Pathological performance on big list and dict literals

  #8247 closed Jul 30, 2025

• Mypy stuck with polynomial using NumPy

  #14978 closed Jul 29, 2025

• False positive "Method must have at least one argument" with `@enum.member`

  #18720 closed Jul 28, 2025

• :bug: Methods converted to `staticmethod`s using a decorator not treated as `staticmethod`s

  #13434 closed Jul 28, 2025

• Mypy doesn't recognize `@staticmethod`-like decorator

  #18989 closed Jul 28, 2025

• Erroneous "Self argument missing" error when decorators are used

  #19392 closed Jul 28, 2025

• Assignment to final variables is allowed in a match statement

  #19507 closed Jul 27, 2025

• Bogus warning with `ItemsView`

  #19495 closed Jul 27, 2025

• MyPy 1.11.0 loop variable persistance

  #17541 closed Jul 26, 2025

• Tight type scoping for loop local variables

  #19504 closed Jul 26, 2025

• Check format strings in logger calls

  #19508 closed Jul 26, 2025

• Kwargs after ParamSpec.args should be tolerated

  #19506 closed Jul 25, 2025

• Add `--warn-unreachable` to strict mode

  #11223 closed Jul 24, 2025

• `class S(tuple[*tuple[()]])` crashes mypy

  #19105 closed Jul 22, 2025

• The "dummy" variable _ is type-checked in assignments

  #19488 closed Jul 22, 2025

• False Positives in Protocol Assignability Check Where `Self` Is a Parameter of a Decorated Method (1.17.0)

  #19482 closed Jul 21, 2025

• 1.17.0 regression: dict literals incompatible with Sequence[TypedDict]

  #19483 closed Jul 21, 2025

• False positive `statement is unreachable` in try-finally related to KeyboardInterrupt

  #13104 closed Jul 20, 2025

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

  #19478 closed Jul 18, 2025

• AssertionError raised after #19248

  #19425 closed Jul 18, 2025

• Document how to profile and optimize mypy

  #19472 closed Jul 18, 2025

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

  #19476 closed Jul 17, 2025

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

  #19443 closed Jul 16, 2025

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

  #16544 closed Jul 15, 2025

• Getting a union from an `and` expression

  #16565 closed Jul 15, 2025

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

  #10547 closed Jul 14, 2025

• mypy does not type check arguments to `Annotated`

  #19438 closed Jul 14, 2025

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

  #19413 closed Jul 14, 2025

• Match on tuples and possibly-undefined

  #19391 closed Jul 11, 2025

• Errors when merging consecutive leading-indented (?) overload statements

  #17521 closed Jul 11, 2025

• TYPE_CHECKING overload with implementation just outside flags second usage, but not first

  #19015 closed Jul 11, 2025

• False-positive "Non-overlapping equality check" comparing `Enum`s `self` to members

  #17317 closed Jul 11, 2025

• `array` generic changes type in isinstance check

  #19421 closed Jul 10, 2025

• dmypy: error: unrecognized arguments: --config-file pyproject.toml

  #17624 closed Jul 10, 2025

63 Issues opened by 40 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

• `comparison-overlap` triggers for string enum members when the member name isn't the same as the comparison value

  #19576 opened Aug 3, 2025

• Type `mypy/config_parser.py` without `Any`

  #19566 opened Aug 2, 2025

• Irregular inference with ternary based on attribute.

  #19561 opened Aug 1, 2025

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

  #19560 opened Aug 1, 2025

• Mypyc runtime TypeError exceptions when you change inherited method to a staticmethod

  #19558 opened Aug 1, 2025

• Mypyc gcc compilation fails with specific duplicate variable definition

  #19557 opened Aug 1, 2025

• Stderr in regular tests should probably go to out as well

  #19554 opened Jul 31, 2025

• Unexpected order dependence when assigning to multiple targets

  #19553 opened Jul 31, 2025

• join is not always symmetric

  #19551 opened Jul 31, 2025

• Config errors sometimes result in exit code 0

  #19548 opened Jul 31, 2025

• "# E:" lines (etc) in test files are ignored at the beginning of lines

  #19547 opened Jul 31, 2025

• `[mypyc]` indexing fixed-length tuples is extremely slow and gets slower with increse in length

  #19537 opened Jul 30, 2025

• Literal list ternary behave unexpected

  #19534 opened Jul 29, 2025

• TypeVarTuple instantiation with the empty tuple in Generic not being recognized as such

  #19533 opened Jul 29, 2025

• Type narrowing of indexing a StrEnum created in a function

  #19532 opened Jul 29, 2025

• ImportError: dynamic module does not define module export function

  #19531 opened Jul 29, 2025

• Type narrowing of `TypeVar` with abstract bases classes causes `[return-value]` error

  #19530 opened Jul 29, 2025

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

  #19529 opened Jul 29, 2025

• No type narrowing when `isinstance` list comprehension is assigned to the same variable

  #19528 opened Jul 29, 2025

• Crash when type variable has same name as an external symbol with an erroneous definition in PEP 695 generic class

  #19526 opened Jul 28, 2025

• Multiple extensions using `get_base_class_hook` interfere with each other

  #19524 opened Jul 28, 2025

• Classmethods as attrs converters

  #19520 opened Jul 28, 2025

• Condition can't be inferred, unable to merge overloads

  #19516 opened Jul 27, 2025

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

  #19500 opened Jul 24, 2025

• Inconsistent assignability of callable with optional keywords to positional-only callback

  #19493 opened Jul 23, 2025

• Regression: dict | None or dict fallback breaks type inference for nested dicts after PR #19249

  #19492 opened Jul 23, 2025

• `--no-incremental` still writes `.mypy_cache`

  #19489 opened Jul 22, 2025

• [plugins/help] Triggering node visits?

  #19481 opened Jul 20, 2025

• Assignability of overloaded implementation to `Proto[**P](Protocol)` is overload-order-sensitive

  #19480 opened Jul 19, 2025

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

  #19477 opened Jul 17, 2025

• More specific inline dict type inference can fail on 1.17.0

  #19474 opened Jul 17, 2025

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

  #19470 opened Jul 17, 2025

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

  #19469 opened Jul 17, 2025

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

  #19468 opened Jul 16, 2025

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

  #19467 opened Jul 16, 2025

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

  #19458 opened Jul 16, 2025

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

  #19456 opened Jul 16, 2025

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

  #19454 opened Jul 15, 2025

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

  #19452 opened Jul 15, 2025

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

  #19444 opened Jul 15, 2025

• Match statement parameter binding fails for subclass of generic class

  #19442 opened Jul 15, 2025

• inline configurations (mypy comments) in strings still work

  #19441 opened Jul 15, 2025

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

  #19439 opened Jul 14, 2025

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

  #19433 opened Jul 13, 2025

• Walrus narrowing not propagated from inside expression

  #19430 opened Jul 12, 2025

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

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

  #19386 commented on Jul 17, 2025 • 4 new comments

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

  #19374 commented on Aug 1, 2025 • 3 new comments

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

  #19145 commented on Aug 6, 2025 • 3 new comments

• Improve match statement union narrowing/inference

  #17600 commented on Aug 3, 2025 • 2 new comments

• Add support for Pydantic models in `stubgen`

  #19095 commented on Jul 15, 2025 • 1 new comment

• Draft: Solve intermediate variable bug

  #19399 commented on Jul 24, 2025 • 0 new comments

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

  #18015 commented on Jul 13, 2025 • 0 new comments

• Add special handling for typing.get_args

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

• Add GitHub annotations format for `--output`

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

• Allow any type to be returned by `__new__`

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

• Announcement issue for plugin API changes

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

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

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

• segfault on recursive generic function class

  #18219 commented on Aug 8, 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

• False positive - Type narrowing of class attributes

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

• Run without module detection logic

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

• Mypyc should support `__file__`

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

• --strict does not include all mypy checks

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

• Include binary wheels for ARM Windows

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

• IntEnum literals are not considerable comparable with ints

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

• dmypy crash

  #18755 commented on Aug 5, 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

• Enable --pretty by default

  #19380 commented on Jul 20, 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

• Adds positional and kwarg only symbols into generated stubs

  #19340 commented on Jul 13, 2025 • 0 new comments

• Allow TypeVarTuple arguments to subclasses of generic TypedDict

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

• feat: new mypyc primitives for weakref.proxy

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

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

  #19168 commented on Aug 1, 2025 • 0 new comments

• Fix/attrs init overload

  #19104 commented on Jul 31, 2025 • 0 new comments

• Split import-untyped into import-untyped and import-untyped-stubs-available

  #19101 commented on Jul 29, 2025 • 0 new comments

• Improve cli help somewhat

  #19073 commented on Aug 3, 2025 • 0 new comments

• feat(mypyc): proper weakref support

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

• Add a flag `--enable-all-error-codes`, which enables all error codes

  #19048 commented on Jul 31, 2025 • 0 new comments

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

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

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

  #18969 commented on Jul 29, 2025 • 0 new comments

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

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

• Narrow literals in the negative case even with custom equality

  #18574 commented on Jul 26, 2025 • 0 new comments

• Disallow literal `0` step in slice expressions

  #18065 commented on Jul 29, 2025 • 0 new comments

• Can JSON format output and command line parameter options for -- disable-error-code all be supported?

  #17446 commented on Jul 23, 2025 • 0 new comments

• Enable --warn-unreachable in --strict in Mypy 2.0

  #18078 commented on Jul 23, 2025 • 0 new comments

• Internal error: KeyError 'setter_type' during node deserialization

  #19359 commented on Jul 22, 2025 • 0 new comments

• False positive `comparison-overlap`

  #15509 commented on Jul 21, 2025 • 0 new comments

• Add ReturnType-like utility for getting function return types

  #8385 commented on Jul 19, 2025 • 0 new comments

• ABCMeta.register support

  #2922 commented on Jul 15, 2025 • 0 new comments

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

  #17171 commented on Jul 15, 2025 • 0 new comments

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

  #12143 commented on Jul 14, 2025 • 0 new comments

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

  #10970 commented on Jul 14, 2025 • 0 new comments

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

  #17937 commented on Jul 14, 2025 • 0 new comments

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

  #4773 commented on Jul 14, 2025 • 0 new comments

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

  #14179 commented on Jul 13, 2025 • 0 new comments

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

  #14764 commented on Jul 13, 2025 • 0 new comments

• [question] How do I ask a question?

  #12426 commented on Jul 12, 2025 • 0 new comments

• Should `*args` narrow in type guards?

  #14273 commented on Jul 12, 2025 • 0 new comments

• Type narrowing in while loop

  #14807 commented on Jul 12, 2025 • 0 new comments

• Checking elements of a `list[str | None]` after discarding the possibility of `None`

  #16243 commented on Jul 11, 2025 • 0 new comments

• mypy website

  #16553 commented on Jul 11, 2025 • 0 new comments

• TypeForm[T]: Spelling for regular types (int, str) & special forms (Union[int, str], Literal['foo'], etc)

  #9773 commented on Jul 10, 2025 • 0 new comments

• mypy reports no issues on access of conditionally available fields

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

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

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

• Meta issue tracker, pt 2

  #16472 commented on Aug 3, 2025 • 0 new comments

• Improve precision of mypy performance tracking

  #14358 commented on Aug 3, 2025 • 0 new comments

• Mypy/dmypy takes over 16GB of memory

  #17105 commented on Aug 3, 2025 • 0 new comments

• plugin point for `ClassDef`

  #18729 commented on Aug 1, 2025 • 0 new comments

• No `TypeVar` variable inference in ternary operators

  #18817 commented on Aug 1, 2025 • 0 new comments

• Type hint `__lt__` as `(self, other: Self) -> bool` makes mypy think that `__le__` is not supported.

  #16711 commented on Aug 1, 2025 • 0 new comments

• False positive typing.Self has incompatible type when method uses class' generic type

  #16871 commented on Jul 31, 2025 • 0 new comments

• 1.17 Release Planning

  #19306 commented on Jul 31, 2025 • 0 new comments

• EncodingWarning when running under PyPy

  #17057 commented on Jul 31, 2025 • 0 new comments

• Allow ignore to be on any line of multi-line statement

  #12341 commented on Jul 30, 2025 • 0 new comments

• Allow mypy to flag `str` matching against `Sequence[str]` as an error

  #11001 commented on Jul 29, 2025 • 0 new comments

• 'Subclass of "A" and "B" cannot exist: would have incompatible method signatures' is usually wrong

  #19377 commented on Jul 28, 2025 • 0 new comments

• ParamSpec seems to get lost with partial()

  #18589 commented on Jul 26, 2025 • 0 new comments

• Type narrowing on all() call

  #13069 commented on Jul 25, 2025 • 0 new comments

• (🎁) Flag to make default return type `None` instead of `Any`

  #9413 commented on Jul 24, 2025 • 0 new comments

• Generic subclass of a generic class, using a constrained TypeVar is mishandled

  #17757 commented on Jul 24, 2025 • 0 new comments

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

  #13201 commented on Jul 23, 2025 • 0 new comments