87 Pull requests merged by 20 people

• Handle corner case: protocol vs classvar vs descriptor

  #19277 merged Jun 13, 2025

• Fix tests in master

  #19293 merged Jun 13, 2025

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

  #19249 merged Jun 13, 2025

• Preserve literals when joining Literal and Instance with matching last_known_value

  #19279 merged Jun 13, 2025

• Bind self-types in checkmember for decorated classmethods

  #19025 merged Jun 13, 2025

• Fix exhaustive-match error code in title

  #19276 merged Jun 11, 2025

• [mypyc] Derive .c file name from full module name if using multi_file

  #19278 merged Jun 11, 2025

• Fix couple inconsistencies in protocols vs TypeType

  #19267 merged Jun 11, 2025

• [mypyc] Support overriding the group name used in output files

  #19272 merged Jun 11, 2025

• Single underscore is not a sunder

  #19273 merged Jun 11, 2025

• Fix missing error context for unpacking assignment involving star expression

  #19258 merged Jun 10, 2025

• Fix and simplify error de-duplication

  #19247 merged Jun 10, 2025

• Add regression test for narrowing union of mixins

  #19266 merged Jun 10, 2025

• [mypyc] Make generated generator helper method internal

  #19268 merged Jun 10, 2025

• Disallow ClassVar in type aliases

  #19263 merged Jun 10, 2025

• 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

• [mypyc] Merge generator and environment classes in simple cases

  #19207 merged Jun 2, 2025

• [mypyc] Fixing condition for handling user-defined __del__

  #19188 merged Jun 2, 2025

• [mypyc] Don't simplify module prefixes if using separate compilation

  #19206 merged Jun 2, 2025

• Add classifier for Python 3.14

  #19199 merged Jun 2, 2025

• [mypyc] Test function nesting with async functions

  #19203 merged Jun 2, 2025

• Sync typeshed

  #19194 merged Jun 1, 2025

• Further cleanup after dropping Python 3.8

  #19197 merged Jun 1, 2025

• Tighten metaclass __call__ handling in protocols

  #19191 merged Jun 1, 2025

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

  #18402 merged Jun 1, 2025

• Infer constraints eagerly if actual is Any

  #19190 merged Jun 1, 2025

• Include walrus assignments in conditional inference

  #19038 merged May 31, 2025

• Use PEP 604 syntax for TypeStrVisitor

  #19179 merged May 30, 2025

• Use checkmember.py to check protocol subtyping

  #18943 merged May 30, 2025

• Update test requirements

  #19163 merged May 30, 2025

• Use more lower case builtins in error messages

  #19177 merged May 30, 2025

• 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

• Forbid .pop of Readonly NotRequired TypedDict items

  #19133 merged May 23, 2025

• stubgen: add import for types in __exit__ method signature

  #19120 merged May 21, 2025

• syntax error messages capitalization

  #19114 merged May 20, 2025

• stubgenc: add support for including class and property docstrings

  #17964 merged May 20, 2025

• Emit a friendlier warning on invalid exclude regex, instead of a stacktrace

  #19102 merged May 19, 2025

• Support several more constructs in stubgen's AliasPrinter

  #18888 merged May 19, 2025

• stubgen: Don't generate Incomplete | None = None argument annotation

  #19097 merged May 16, 2025

• Update dmypy/client.py: Enable ANSI color codes for windows cmd

  #19088 merged May 15, 2025

• Extend special case for context-based typevar inference to typevar unions in return position

  #18976 merged May 15, 2025

30 Pull requests opened by 18 people

• Add support for Pydantic models in `stubgen`

  #19095 opened May 16, 2025

• feat: new mypyc primitive for weakref.ref

  #19099 opened May 16, 2025

• Include tuple fallback in constraints built from tuple types

  #19100 opened May 17, 2025

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

  #19101 opened May 17, 2025

• Mention in the Any documentation how object is preferable

  #19103 opened May 17, 2025

• Fix/attrs init overload

  #19104 opened May 18, 2025

• Use normalized tuples for fallback calculation

  #19111 opened May 19, 2025

• enable --pretty by default

  #19122 opened May 21, 2025

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

  #19125 opened May 21, 2025

• Add config key to extend config files

  #19135 opened May 23, 2025

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

  #19145 opened May 23, 2025

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

  #19168 opened May 29, 2025

• Prohibit assignment to __class__ (Fixes #7724)

  #19180 opened May 30, 2025

• Refactor: simplify combine_function_signatures by reducing line count and preserving comments

  #19196 opened Jun 1, 2025

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

  #19198 opened Jun 1, 2025

• 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

• feat: new mypyc primitives for str.count

  #19264 opened Jun 10, 2025

• Improve the handling of "iteration dependent" errors and notes in finally clauses.

  #19270 opened Jun 10, 2025

• Mark code after for loops that never end as unreachable

  #19287 opened Jun 13, 2025

• Use types.CoroutineType instead of typing.Coroutine

  #19288 opened Jun 13, 2025

• Show name of type variable in "Cannot infer type argument" message

  #19290 opened Jun 13, 2025

• Cleanup generic class variable access

  #19292 opened Jun 13, 2025

• Fix merge conflict from #19025

  #19294 opened Jun 13, 2025

• Fix constructor type for subclasses of Any

  #19295 opened Jun 14, 2025

131 Issues closed by 21 people

• Mypy incorrectly gives an error for a ternary return statement

  #15368 closed Jun 13, 2025

• False error in conditional expression returning union

  #6898 closed Jun 13, 2025

• Strange case with deepcopy() and Literal[True]

  #12001 closed Jun 13, 2025

• lru_cache classmethod: variable has type "Self" after assignment

  #18993 closed Jun 13, 2025

• Return type is `Self` when calling an inherited decorated classmethod that returns `Self`

  #19023 closed Jun 13, 2025

• Wrong `comparison-overlap` with `Enum`/`Literal` when using globals

  #19283 closed Jun 13, 2025

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

  #19261 closed Jun 12, 2025

• MyPy v1.t6.0 cannot infer a descriptor's type through a `Protocol` which v1.15.0 supports

  #19274 closed Jun 11, 2025

• Add `[disallow-non-exhaustive-match]` check

  #13597 closed Jun 11, 2025

• [1.16 regression] no longer recognizes enum singleton as only possible case

  #19271 closed Jun 11, 2025

• Missing line number error report

  #19257 closed Jun 10, 2025

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

  #19243 closed Jun 10, 2025

• (🐞) Same error reported multiple times on inner functions when `show-error-context` is enabled

  #13517 closed Jun 10, 2025

• Error diagnostics incomplete on generic function redefinition

  #17791 closed Jun 10, 2025

• [1.16 regression] duplicated note for incompatible type

  #19240 closed Jun 10, 2025

• 1.10.1: pytest fails in

  #17428 closed Jun 10, 2025

• [1.16 regression] descriptor not working in protocol

  #19054 closed Jun 10, 2025

• <nothing> when narrowing types on union of subtypes

  #16413 closed Jun 10, 2025

• 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

• Refactor common code in analyze_member_access and find_member

  #3832 closed Jun 9, 2025

• TypedDict as default_factory in dataclasses is not inferred correctly

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

• 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

• 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 closed Jun 2, 2025

• [1.16] Regression in inferring type via unittest.mock.Mock

  #19184 closed Jun 1, 2025

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

  #8829 closed Jun 1, 2025

• Narrowing doesn't work on a typevar with a union bound

  #15631 closed May 31, 2025

• Erroneous error about incompatible return value in generic function

  #14813 closed May 31, 2025

• Checking Generic Type at Runtime

  #13053 closed May 31, 2025

• Type narrowing not performed in walrus operator conditional

  #19036 closed May 31, 2025

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

  #19165 closed May 31, 2025

• Protocols with property descriptors require all compliant symbols to use the same implementation.

  #9202 closed May 30, 2025

• Protocols don't support descriptors

  #5481 closed May 30, 2025

• Decorated function makes type-check fail if done inside of method from the class

  #9266 closed May 30, 2025

• Generic propagation into dataclasses doesn't seem to work consistently

  #9585 closed May 30, 2025

• Type parameter scoping seems to disagree with PEP 484

  #11993 closed May 30, 2025

• (🐞) Explicit type parameter specification with method reference screws up assignability

  #13041 closed May 30, 2025

• `set` operations and unpacking

  #14259 closed May 30, 2025

• Accessing dunders via type object produces TypeVar clashes

  #14814 closed May 30, 2025

• No recognition of concretized type for generic in method's self

  #14806 closed May 30, 2025

• False positive when calling a method from a subclass

  #15097 closed May 30, 2025

• Error inferring typevar on generic classes

  #18706 closed May 30, 2025

• `builtins.sum`: Spurious error for operands having `__add__` defined using `partialmetho`

  #17734 closed May 30, 2025

• Issue with constrained type var and Protocol

  #18024 closed May 30, 2025

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

• Mypy fails on external libraries

  #19131 closed May 23, 2025

• Mypy treats the overload object as an implementation of an abstract method

  #19137 closed May 23, 2025

• False negative: popping a ReadOnly key from a TypedDict

  #19130 closed May 23, 2025

• Mypy doesn't catch renaming arguments in overrides

  #19132 closed May 22, 2025

• Stubgen generates reference to `types.TracebackType` without importing `types`

  #17037 closed May 21, 2025

• Ensure syntax error messages are capitalized

  #19107 closed May 20, 2025

• @cache breaks type checking when used with @classmethod and typing.Self

  #19117 closed May 20, 2025

• False narrowing with repeated assignment inside if resulting in bad false negative

  #18492 closed May 19, 2025

• Stubgen crashes on dataclass field

  #18886 closed May 19, 2025

• Return type of unbound methods of generic types incorrectly inferred.

  #13835 closed May 19, 2025

• Editable install fails with ImportError (unknown location) on Windows 10 outside of venv

  #19089 closed May 17, 2025

• stubgen: Don't generate `Incomplete | None = None`

  #19096 closed May 16, 2025

• AssertionError: Internal error: unresolved placeholder type

  #19078 closed May 16, 2025

• Arguments annotated with typevars cannot have defaults

  #19092 closed May 16, 2025

• False positive for lambda within a function

  #10426 closed May 15, 2025

• Typechecking differs between one-line def of "return expr" vs. "r = expr; return r"

  #11985 closed May 15, 2025

• Unneeded type widening of inner function call when using explicit return type

  #12092 closed May 15, 2025

• False "Invalid index type" for min derived from return type

  #14664 closed May 15, 2025

• Inference failure in `return` statement with `next` and `or`

  #15755 closed May 15, 2025

• itertools' `all_equal` recipe causes false arg-type failures

  #15150 closed May 15, 2025

• Type inference for `max()` "tainted" by `default`

  #16267 closed May 15, 2025

• (🐞) generics not resolving correctly when multiple `TypeVar`s don't meet the expected type

  #17553 closed May 15, 2025

• min()/max() with default value cause issues with key function type

  #17536 closed May 15, 2025

• Function returning union of type variables has inference/unification behaviour change when assigned to explicitly-typed location

  #16659 closed May 15, 2025

• [arg-type] wrong argument type in generic function with union

  #17654 closed May 15, 2025

• wrongly reported typing error in `min` with `key` lambda function and default value when result is Optional

  #17221 closed May 15, 2025

• mypy 1.15.0 reports errors with ParamSpec that weren`t reported in 1.14.1

  #19090 closed May 14, 2025

52 Issues opened by 36 people

• Add full support for functools.lru_cache

  #19291 opened Jun 13, 2025

• Mypy reports error for different argument, than the one which is actually wrong

  #19289 opened Jun 13, 2025

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

  #19286 opened Jun 12, 2025

• Bounded generic type parameter not narrowed past its upper bound, regardless of argument value

  #19285 opened Jun 12, 2025

• Source file found twice under different module names mypy

  #19284 opened Jun 12, 2025

• Generic type incorrectly un-narrowed following TypeIs

  #19282 opened Jun 12, 2025

• setting `exclude_gitignore = true` breaks stubtest

  #19281 opened Jun 12, 2025

• 1.16 changed behavior of redefined variable to None

  #19280 opened Jun 12, 2025

• mypy 1.16 has new dependency pathspec

  #19275 opened Jun 11, 2025

• Wrong `unreachable` note in `finally` section

  #19269 opened Jun 10, 2025

• Type-narrowing in a union sometimes fails

  #19265 opened Jun 10, 2025

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

  #19259 opened Jun 9, 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

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

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

  #19201 opened Jun 2, 2025

• Mypy plugins: Changing class signature impossible here?

  #19195 opened Jun 1, 2025

• dataclasses.dataclass, custom __init__ and dataclasses.replace false positive.

  #19193 opened Jun 1, 2025

• Type variable defaults, solved for partially-parameterised generic types, do not reset

  #19192 opened Jun 1, 2025

• Instance variables typed as `Callable` on the class body don't get assignment warnings when missing in `__slots__`

  #19187 opened May 31, 2025

• Crash using forward-referencing type alias parameterised by dependent type variables

  #19186 opened May 31, 2025

• TYPE_CHECKING-only `Final`-annotated nested `always-true/false` flags crashes with conditional type aliases

  #19185 opened May 31, 2025

• Bug: overloads not matched when using `TypeVar` with `default` (where Pyright matches correctly)

  #19182 opened May 31, 2025

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

  #19181 opened May 31, 2025

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

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

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

  #19169 opened May 29, 2025

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

  #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

• 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

• Conditionally excluding backward incompatible syntax based on python version

  #19134 opened May 22, 2025

• MYPYPATH directory used even if no __init__.py

  #19129 opened May 22, 2025

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

  #19128 opened May 21, 2025

• Preliminary test on type not detected, leading to false error

  #19124 opened May 21, 2025

• Empty variadic `tuple` subtype not assignable to `tuple[int, ...]`

  #19110 opened May 18, 2025

• `tuple[Any, *tuple[Any, ...]]` is not assignable to other tuple types

  #19109 opened May 18, 2025

• Enable --pretty by default

  #19108 opened May 18, 2025

• incorrect inference of user-defined variadic tuple subtype instances

  #19106 opened May 18, 2025

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

  #19105 opened May 18, 2025

• Odd error message for invalid use of tuple(): expected "Iterable[Never]"

  #19098 opened May 16, 2025

• Fails to flag `None` passed to constructor of `enum.Enum`-based classes

  #19094 opened May 16, 2025

• Argument 1 to `type_check_only` has incompatible type `type[S[T, *Ts]]`; expected `type[S[T, *Ts]]`

  #19093 opened May 16, 2025

• Cannot combine iterables of Callable classes

  #19091 opened May 15, 2025

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

• Narrow literals in the negative case even with custom equality

  #18574 commented on May 22, 2025 • 2 new comments

• feat(mypyc): proper weakref support

  #19056 commented on May 16, 2025 • 1 new comment

• Support running stubtest in non-UTF8 terminals

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

• report warn-redundant-annotation (similar to warn-redundant-cast)

  #18540 commented on Jun 11, 2025 • 0 new comments

• ABCMeta.register support

  #2922 commented on Jun 11, 2025 • 0 new comments

• stubgen: mangles from _typeshed import Incomplete on Windows

  #16658 commented on Jun 11, 2025 • 0 new comments

• 1.16 Release Planning

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

• `.get(key)` should narrow final TypedDicts

  #17087 commented on Jun 10, 2025 • 0 new comments

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

  #17446 commented on Jun 10, 2025 • 0 new comments

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

  #18481 commented on Jun 10, 2025 • 0 new comments

• `return await ...` not working properly

  #18805 commented on Jun 10, 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

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

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

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

  #10910 commented on Jun 3, 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 13, 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

• Allow passing a callable with type vars in self types

  #18401 commented on May 31, 2025 • 0 new comments

• Fix `TypeIs` negative narrowing of union of generics

  #18193 commented on Jun 12, 2025 • 0 new comments

• Add support for literal addition

  #18004 commented on May 19, 2025 • 0 new comments

• fix: unpack unions inside tuples in except handlers

  #17762 commented on May 27, 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

• Allow to enable/disable plugin error codes

  #13419 commented on Jun 13, 2025 • 0 new comments

• IntEnum literals are not considerable comparable with ints

  #16327 commented on Jun 13, 2025 • 0 new comments

• Type narrowed to `Never` when using `TypeIs` with union of callables

  #18009 commented on Jun 12, 2025 • 0 new comments

• dmypy Suggest assertion error in `bind_function_type_variables`

  #16708 commented on Jun 1, 2025 • 0 new comments

• errors in other files are reported when running mypy on a file with lowercase drive letter

  #18590 commented on May 19, 2025 • 0 new comments

• Overloaded `__init__` prevents type from being recognized as an attrs class

  #19003 commented on May 18, 2025 • 0 new comments

• Support file-level assertions as inline configuration

  #19013 commented on May 17, 2025 • 0 new comments

• `--exclude` regular expression leading "/" does not match in current directory

  #19012 commented on May 17, 2025 • 0 new comments

• Consider merging command line flags and configuration file options descriptions

  #12347 commented on May 17, 2025 • 0 new comments

• Limited inference with union of callables and assignment to a union

  #18191 commented on May 17, 2025 • 0 new comments

• Inconsistent behavior: MyPy rejects isinstance with Any, but accepts cast from Any for ignored imports

  #17844 commented on May 16, 2025 • 0 new comments

• Base {} Dict Should Infer from Function Return Type

  #18700 commented on May 16, 2025 • 0 new comments

• `mypy` should use `List` when complaining about issues with the `List` type, instead of `list`

  #18530 commented on May 16, 2025 • 0 new comments

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

  #4773 commented on May 16, 2025 • 0 new comments

• Class scope name resolution issue

  #9991 commented on May 16, 2025 • 0 new comments

• Type checking fails to distribute across Tuple types

  #18922 commented on May 15, 2025 • 0 new comments

• Replace uses of type variable "value restriction" with "constraints"

  #17828 commented on May 15, 2025 • 0 new comments

• [docs]: The "Edit Page" button is not visible in the documentation for the stable branch.

  #17947 commented on May 15, 2025 • 0 new comments

• Split `import-untyped` into two different error codes depending on whether stubs are available to install

  #18661 commented on May 14, 2025 • 0 new comments

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

  #17624 commented on May 14, 2025 • 0 new comments

• mypy doesnt use unitest.TestCase.assertIsInstance checks for type narrowing

  #13038 commented on May 14, 2025 • 0 new comments

• With `--disallow-any-decorated`, `Any` detection logic changes w/wo decorator

  #15211 commented on May 31, 2025 • 0 new comments

• Lazily process installed packages

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

• Website still links removed ROADMAP

  #11997 commented on May 30, 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

• 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

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

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

• No first-class bound method support

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

• Composing multiple configuration files

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

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

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

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

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

• MyPy 0.750 slow startup (or hang) on macOS

  #8055 commented on May 22, 2025 • 0 new comments

• Optional error code to flag missing return type when an argument has an annotation

  #15127 commented on May 20, 2025 • 0 new comments

• Type narrowing for tuple worse with match than with the equivalent instanceof check

  #19082 commented on May 20, 2025 • 0 new comments

• `issubclass()` assertions not narrowing types

  #10680 commented on May 20, 2025 • 0 new comments

• Wrong type inference with "yield from" from an Iterator class

  #17449 commented on May 19, 2025 • 0 new comments

• Use case for typing.Type with abstract types

  #4717 commented on May 19, 2025 • 0 new comments

• Failed to find exact letter case of module name when relative import on Windows OS

  #18445 commented on May 19, 2025 • 0 new comments