Refs https://www.python.org/dev/peps/pep-0613/

Co-authored-by: Jelle Zijlstra <jelle.zijlstra...

Fixes #11774. The issue has relevant background information in the
discussion.

It may be wor...

Closes #11578. Closes #11702.

Co-authored-by: hauntsaninja <>

Found by python/typeshed#6620

This is for the 0.930 release branch. I'll update the master to
0.940+dev afterwards.

Followup to #11752. The syntax error changed between 3.10.0 and 3.10.1.
https://bugs.python.org...

We didn't infer constraints from the return type.

Fixes #11704.

https://bugs.python.org/issue46004

I found lots of duplicate test names. It might hide important errors, be hard to reproduce
or ...

The crash only happens with compiled mypy on Python 3.10, I think.

Co-authored-by: hauntsaninja <>

* Typeshed cherry-pick: Relax signature of logging.config.loadConfig (#6577)

* Typeshed cherr...

This reverts commit c22beb431a682330276aff2a84b4796abadf71b4.

See #11742 for context.

This reverts commit e6b91bdc5c253cefba940b0864a8257d833f0d8b.

See #11740 for the context.

Generate a syntax error instead.

This may avoid some package version conflicts in the future. We just
need to be careful to avoi...

Tomli seems to be moving fast -- 2.0 was released ~6 months after 1.0. It
seems better to suppo...

In some places in our code bool was compared with `Union[Literal[True], Literal[False]]`.
It wa...

Tomli 2.0.0 was released https://pypi.org/project/tomli/2.0.0/

Co-authored-by: KotlinIsland <...

Originally added in #10093

Fixes #11690, fixes #10661, fixes #10822

Co-authored-by: haunts...

Fixes #11064. Co-authored by @hi-ogawa

Pushes #11346 over the finish line. Implements the su...

Closes #11699

If we get an error when accessing the mtime of a cache file, we should handle that as if the cac...

This reverts commit d37c2be0f7a2002a0a8c160622d937518f902cc7.

Lambdas can't be safely deferre...

Problem: When using the fine-grained cache, we raise an assertion in
some situations when an at...

Fixes #11679

Adds support for the Required[] syntax inside TypedDicts as specified by
PEP 655 (draft). NotR...

* Follow up to #11150, refactors `if`s into a util function

Fixes #8481
Fixes #9941
Fixes #11025
Fixes #11038

This is the unresolved crash that's been...

Support decorators properly in additional contexts.

Closes #10409

"Py_TYPE(t) = metaclass;" fails with a compiler error on Python 3.11:

* https://docs.python.o...

Co-authored-by: hauntsaninja <>

Co-authored-by: hauntsaninja <>

* Disable universal newlines when reading TOML

* Update mypy/modulefinder.py

Co-authored-b...

Co-authored-by: hauntsaninja <>

Looks like there was a new release of flake8-bugbear

Fixes #8356, as identified by @pranavrajpal
Fixes #9112
Fixes #9967

Note that we still don'...

Fixes #11405 by using `options.python_executable` instead of `sys.executable`.

Solves https://github.com/hauntsaninja/mypy_primer/issues/21

Co-authored-by: hauntsaninja <>

The mypy documentation is currently ambivalent on whether ``Iterator`` or ``Iterable`` is the be...

Closes #10631.

Now TypedDict membet access is routed via `checkmember`. Remove sig plugin
fo...

mypy imports TypeAlias in typing_extensions, which
was introduced in typing_extensions 3.10.0.0...

Fixes #9868

When analyzing function definitions, mypy attempts to infer type variables. The c...

NewType is a class in Python >=3.10, meaning the mypy documentation is no longer accurate.

Cl...

Create a class structure for building different types of classes, extension vs non-extension, pl...

Resolves part of #11538

See #11606 for discussion

Check that the correct ParamSpec and flavor are used in
`*args` and `**kwargs`.

Follow-up to...

If ParamSpec is in the context of a lambda, treat it similar
to `Callable[..., Any]`. This allo...

Source commit:
https://github.com/python/typeshed/commit/2445eddb4b67fdaa58ec7c2113ff1542021a6206

Add support for type checking several ParamSpec use cases (PEP 612).

@hauntsaninja previously...

Names of some of types have changed in typeshed. Accept both
the old and the new names for now....

python/typeshd#6302 added `__getattr__`, but we don't want to always
use it, as it can result i...

Typeshed now declares `__file__` as an optional type.

This can help in decreasing memory resource requirements on CI and
generating relatively thinne...

Not too familiar with stubgen, so maybe there's a good reason for
hardcoding, e.g. to ensure st...

Catch KeyboardInterrupt to allow graceful exit instead of printing the traceback.

Adds option...

Closes #11115.

Correctly handle cls in generic classmethods of protocol.

This should corr...

Now we can override attributes with methods.

Closes #10134
Closes #11556

Co-authored-by: ...

This reverts commit 6ab0efcc2ae3bcf649098b86d1edbcab2e4b1e9b.

Reverting the change since it c...

Fixes #11566.

These operations are performance-critical, but inlining everywhere
can slow down compilation a ...

Closes #6662.

This means that we kill the mypy process at exit instead of cleanly
freeing up...

Closes #11528

This should speed things up a little, because mypyc
is bad at compiling local imports (mypyc/my...

if TYPE_CHECKING is compiled inefficiently right now (mypyc/mypyc#902).

Don't use a generator, since they tend to be slow when compiled.

This method came up as a hot...

This was being read repeatedly, and it was bad enough to
show up in a performance profile.

The get_dynamic_class_hook method of the plugin never called if the statement
is a chained ass...

Description
Closes mypyc/mypyc#773, follows up to #10265

Speeds up `min(x, y)` using a specializer.

Co-authored-by: 97littleleaf11 <97littleleaf11@gm...

This actually works at runtime and is used sometimes for pseudo-immutable types.

Co-authored-...

Closes #5072, follows up to #11490

This is a follow-up for #11460

This replaces dropping trivial (i.e. `Any`-only) constraint sets with merging the `Any` targets ...

As pointed out by @pranavrajpal in https://github.com/python/mypy/pull/11498#discussion_r746886480