Closes #11218

Co-authored-by: Shantanu <[email protected]>

Quick review of changes:

* I had to move all class-level values into self. definitions, becau...

Currently TypeChecker.named_type is been called inside
MemberContext.builtin_type thus this PR...

Closes #11232
Closes #7399

It does not mention `.format()` anymore.

Closes #10979

Closes #11212

Previously `mypy` was ignoring `lambda` scope in `handle_cannot_determine_type`...

Closes #11155

Authored-by: @kprzybyla <>

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

Fixes #10248

The crash due to dataclasses.field was fixed in the recent PR #11137, but the er...

Fixes #11157

For --warn-unused-ignored, currently Errors.used_ignored_lines keeps track
of ...

Closes #11172

All enums in mypy are unique. Eventhough, current state of enum_plugin
does not support @uniqu...

Fixes mypyc/mypyc#702 by replacing "'" with "__redef__",
although this assumes nothing else wil...

I was always looking for it, but I always had to scroll further for "documentation" link.
It us...

Fixes mypyc/mypyc#759 and probably some other issues. Including only
the change to coerce the R...

Related issue: #1184

Closes #9175

While working on #11047 I've noticed that mypy reports the same error
for both collection.name...

Refs #11155

The rounding was incorrect for some negative values, because of a bug
related to the tagged int...

`return` (or any other statement) after a `while True` with no `break` condition
will never be...

Closes #11075

Closes #11020

* Fixes mypy crash on protocol with contravariant var

* Fixes how `infer_con...

Fixes half of #11060

Co-authored-by: hauntsaninja <>

### Description

Fixes #10801

We can now detect assignment that are not matching defined...

Co-authored-by: Shantanu <[email protected]>

Add needed `covariant=True` for example to pass type checking at `page.first_chunk()` as intended.

Historically --strict was only supported on the command line, but
commit cb0ceb02848494f3dab2d9...

Closes #11105

Fixes #11079

Fixes #11089

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

Co-authored-by: hauntsaninja <>

Guido plans to remove PyCode_New from CPython CAPI.
See: https://bugs.python.org/issue45122

...

Fixes #11007, fixes #10899, fixes #10647

Since the initial implementation of TypeGuard, there...

* [stubgenc] Fix bug when inferring signatures with no args

* [stubgenc] Add self arg when it...

Closes #11062.

Closes #2112.

This PR changes the FunctionLike.items from method to property. By
doing so, ...

Fixes #10483

Tested manually using importlib.metadata

Co-authored-by: hauntsaninja <>

Related issue: #1184
Follows up to #10569, #10685

This PR:
* Refactors `Scope`
- Replace...

1. Changed an outdated example to an original one from https://github.com/python/typing/issues/1...

Per mypyc/mypyc#718, renaming the original function name in the module
mapping causes the __nam...

Optional check which disallows using implicitly true expressions (whose type has no __bool__ nor...

That's the last unsued import I found.
Related #11041

Source commit:
https://github.com/python/typeshed/commit/8e0e13a2d564010c682ac14531001ca037b9a2...

That is, support patterns such as:
```
if condition:
foo = Foo()
else:
foo = None
...

### Description

Closes #5580
Previously, the type of empty dicts are inferred as `dict[<noth...

Support or expressions involving type guard checks.

Co-authored-by: Ivan Levkivskyi <ilevkivs...

Fixes #6568.

Speed up simple % formatting with bytes (%s and %b).

* Share the same tokenizer with string f...

* Wrap singledispatch callable class in glue function

mypyc doesn't have support for calling ...

This adds a cache to the dispatching code for singledispatch functions,
which makes calling sin...

Add a C helper function for bytes and bytearray slicing.

Implements part of mypyc/mypyc#880.

Implements part of mypyc/mypyc#880.

Instead of generating a regular native function for singledispatch
functions, generate a callab...

This changes the implementation of singledispatch to look up the correct registered implementati...

This PR speeds up FStrings using FormatOp and convert_expr.

Fixes #10865

Since PEP561-installed namespace packages only show up in
FindModuleCache as a side-effect, the...

This PR adds a tokenizer that convert a str.format() format string into literals
and specifier...

While we figure out what the plan is in coordination with black and
pip (see #10893), just pin ...

Add several run tests:

* chr()
* ord()
* decode()
* encode()

Similar to list and tuple, we can directly get length of bytes from
PyVarObject->ob_size.

I...

This test was original skipped because nesting a virtualenv inside of a venv on macOS was a prob...

As part of doing this I upgraded the pep561 tests to support
incremental tests, and removed at ...

Add a `targets` property and a `set_target` method to `ControlOp` to
enable generic processing....

Use `PyBytes_FromObject` for `bytes(o)`.
Use `PyByteArray_FromObject` for `bytearray(o)`.

Cu...

* Fix recursion issue with nested instances and unions

* Change to use `==` in `is_protocol_i...

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

Fixes #9907

So far, method `TypeChecker.intersect_instances` generally reports an unreachable...

Source commit:
https://github.com/python/typeshed/commit/581b2d518041377069e2aeee969e7b2e86270f...

Resolves #1422

Co-authored-by: hauntsaninja <>

Co-authored-by: hauntsaninja <>

In the spirit of #4814 (comment)

I'm not sure what the distinction between TypeVarDef and Typ...

We currently assert that test-data is present in `mypy.test.config`;
delay that until we actual...