Description
See mypyc/mypyc#893

refs #5599

This change allows to catch this error by making all Enum members
implicitly Fin...

Partially fixes https://github.com/mypyc/mypyc/issues/796

This PR forces the computation of s...

Closes #11487
Refs #11482
Refs #10801

Closes #8231

When type of index expression (e.g. `foo[bar]`) is analyzed and left
expression...

Found via `codespell -q 3 -S ./mypyc/external/googletest -L alo,ans,asend,ba,bre,dne,fo,haa,ist,...

### Description

Closes https://github.com/python/mypy/issues/3673

Adds a trivial for-loop ...

Fixes #11222

Closes #11482

Fixes #11473

Closes #11160

Also remove unused function.

This is a follow up from https://github.com/python/mypy/pull/11444

* Introduce basic ir analysis checks

Adds a new module for performing analysis checks on ir a...

Related to #6578.

builtin_type could be totally replaced with named_type after #11332.
Also...

It now has a better API for that. Change `copy()` -> `clean_copy()`.

The double import should be unnecessary because the bug it is talking
about was fixed by #10550.

Closes #10949

This flag may be set to `True` if there are tricky forward references.

Co-authored-by: Ivan L...

Also change typing.Tuple to tuple, typing.Dict to dict, etc.

The initial implementation was not very careful, so I only keep the covariant part, while other ...

This was added in #11419 to fix #11412

However, the presence of this file also configured myp...

Closes #11398

Now cases like

```python
from typing import Type

class MyMetaClass(type...

Resolves #11412

Closes #11331

Closes #9927

Closes #10857

Closes #11272

refs #2729

Source commit:
https://github.com/python/typeshed/commit/151f256051445f251d9966120f35d4819e433c...

This was prompted by #11403

Changes include:
- General streamlining of markdown
- Remove ou...

This was broken by #11320

Co-authored-by: hauntsaninja <>

Fixes #11307

Co-authored-by: hauntsaninja <>

Closes #9922

### Description

Extending the existing special case for `contextlib.contextm...

Adds a reference on how # type: ignore can be used.

Resolves #11354

The result is an "OR" of all the patterns provided.
Should be fully backward compatible to exis...

In pip 21.3 the build argument is removed, so this uses an environment
variable to still work o...

This reverts commit caae446df867f60256f2876da807a99781c5b7be.

A few lines change required to have mypy run on PyPy, to the extent that it
can run self-check...

Define a Github Action that can be used as a canonical way of running
mypy as part of Github CI...

Closes #11309

This is useful for Annotated, and crucial for downstream libraries like torchtyping.

Related to #6578

This PR replaces lookup_qualified with lookup_fully_qualified for SemanticAn...

Closes #7764

Adds comments for can_be_true and can_be_false. Deletes redundant redefinition of __slots__.

flake8 now correctly handles overloads

Prep for #9636

First test was failing because a was not a valid import (pkg.a was)

Second ...

Two PRs landed and conflicted - #11262 and #11141
This fwd fixes the tests.

This only adds tests that show the current behavior when we provide a stub-only package for a su...

Resolves #9404

Co-authored-by: hauntsaninja <>

Trying to fix https://github.com/mypyc/mypy_mypyc-wheels/pull/28,
not sure why other windows bu...

Closes #11287

Closes #11294

Co-authored-by: hauntsaninja <>

Co-authored-by: hauntsaninja <>

Source commit:
https://github.com/python/typeshed/commit/ca983cd319cb58b0a8fa3a086fad5e75332e0450

* tests: make testAsync work with Python 3.10

The test would previously yield "DeprecationWar...

Closes #11248

Removes the redundant lookup funcs in fixup.py. Related to #4157.

* Removes lookup_qualified_...

Closes #11122

It looks unused, maybe it is safe to delete it.

I've noticed several missing Final types here and there.
I've looked though the whole project a...

Co-authored-by: hauntsaninja <>

Partially solves #4157

Work on mypyc/mypyc#772.

Replace things like '5 + 8' with '13' during IR building. Also adds
...

This helps unblock #9636. With namespace packages, the
code to crawl upward would not stop anyw...

Also re-order docs and make them more greppable

Helps with e.g. complaints in #9944

Co-aut...

For example `from a import B` should not find a namespace
package `a/b/`. Fix by using case awa...

This matters with namespace packages enabled - since an (otherwise) empty folder with
some .2 f...

So that mypy primer doesn't freak out on #9636

Co-authored-by: hauntsaninja <>

Closes #10266

Co-authored-by: hauntsaninja <>

The code in refine_parent_types() bailed out when it encountered
something other than a TypedDi...

Fixes #8925.

Consider the following narrowing (more realistically with TypedDicts),
and the ...