python / mypy Public

I'm not adding a test because it's Python 2, but I did test locally.

Co-authored-by: hauntsaninja <>

After merging #11805 I found out that we are missing several new `Enum` features.

This PR adds them to the docs.

Refs #12026
Refs #12035

This fixes a regression where `iter(x)` could generate a false
positive if `x` has a type variable type.

…6935) (#12240)

This fixes some regressions.

…7354) (#12239)

Fixes some regressions.

Context: python/typeshed#7258

* Adds docs about `Enum` type

* Better structure

Closes #11742
Related #11743
Related #11289
Related #11700

…) (#12236)

This fixes a minor regression.

Closes #11948

We used to infer a callable in a protocol against all overload
items. This could result in incorrect results, if only one
of the overload items would actually match the protocol.

Fix the issue by only considering the first matching overload
item.

This seems to help with protocols involving `__getitem__`.
In particular, this fixes regressions related to
`SupportsLenAndGetItem`, which is used for `random.choice`.

#9904)

Co-authored-by: Shantanu <12621235+hauntsaninja@users.noreply.github.com>

Add a link to Python doc about Python C API, which is a friendly tutorial for beginners.

Instead of printing `Union[Literal[X], Literal[Y]]`, these are now
printed as `Literal[X, Y]`.

)

The WrapperGenerator is an abstract class for wrapper generation, 
originally from generate_wrapper_core. The latter one is fully covered 
by the WrapperGenerator.

Fixes for python/typeshed#7307
Amusingly, the evil runtime module that is causing havoc is... mypy,
which sqlalchemy has some extension for.

Co-authored-by: hauntsaninja <>

Basically a follow up to #12203

New errors in typeshed from this:
```
_decimal.__libmpdec_version__ is not present in stub
_heapq.__about__ is not present in stub
builtins.__build_class__ is not present in stub
cgitb.__UNDEF__ is not present in stub
decimal.__libmpdec_version__ is not present in stub
sys.__unraisablehook__ is not present in stub
```

Some general housekeeping, moving things around, renaming things, adding
some comments.

Co-authored-by: hauntsaninja <>

… (and vice versa) (#12212)

* Implement more checks in ircheck

Check op/register validity and check type coercions for return
and assign.

* Add checks for call operations, control ops, and literal loads

* Add check for duplicate ops

In particular, this will catch the case where builder.add() is
called twice, which causes very weird bogus IR.

Fixes #12197

This essentially walks back changes in #12023 that apply to
function-like things that are imported in class-scope. We just issue a
(non-blocking) error and mark the type as Any. Inference for variables
still works fine; I'm yet to think of any problems that could cause.

A full fix seems quite difficult, but this is better than both a crash
and a blocking error.

Fixes #11045, fixes huggingface/transformers#13390
Fixes #10488
Fixes #7045
Fixes #7806
Fixes #11641
Fixes #11351
Fixes #10488

Co-authored-by: @A5rocks

mypy attracts a lot of (usually student) first-time contributors who
tend to comment on issues with things like "May I work on this issue?
Can anyone provide me guidance?" and often end up not getting a
response.

The goal of this PR is to have a section we can just link to as a reply
in such situations.

Fixes #12179

Co-authored-by: hauntsaninja <>

* Add `match_args` support to `attr.s()`

* Improve wording

* Serialize `__match_args__`

* More tests

* Addresses review

* Address review