This PR does not mean mypy supports PEP 612, but it does do enough to
unblock https://github.co...

Resolves #9691

As mentioned in that issue, this is a huge performance win. On the
codebase I...

Instead of loading the type and calling it via the vectorcall
convention let's use PyList_New /...

Resolves #10591

Co-authored-by: Jelle Zijlstra <[email protected]>
Co-authored-by: Sh...

`parse_conversion_specifiers` and `parse_format_value` from mypy.checkstrformat
can be reused ...

Fixes #10393

Co-authored-by: hauntsaninja <>

Helps with #10842, #10820 and others

There have been a number of issues recently where having...

Adds an example on how to use the OR-operator to combine two
regular expressions in order to ig...

bytearray is treated as a subtype of bytes by mypy, even though they behave
differently in som...

mypy.checkstrformat offers regex and ConversionSpecifier for tokenizer, thus
this PR:

* del...

When generating calls to registered implementations in the dispatch
function for a singledispat...

When trying to match `list[T]` and `list[str] | Any`, previously we
gave up, because the union ...

Replaces #9611.

* Add test for singledispatch across multiple files

Add a test to make sure that we handle re...

* stubtest: import submodules mentioned in __all__

This kind of helps resolves #9935

Co-a...

This PR is a follow-up to #10869.

The error msg of mypy now is basically the same as CPython....

According to [PEP461](https://www.python.org/dev/peps/pep-0461/), conversion type %c performs di...

Recreating equivalent ParamSpecExpr objects causes the equality check in
is_same_symbol in add_...

* Add test

Add a test that makes sure that our implementation goes up the MRO of
the dispatc...

This feature is not-really known from my experience. I had to explain it several times to other ...

Closes https://github.com/mypyc/mypyc/issues/264

This PR adds a primitive op and a C helper f...

This works around a change in virtualenv 20.x where the site-packages folder is added to the PYT...

virtualenv 16.7.11 appears to have broken our CI by upgrading the
version of pip embedded to so...

We add a special path for %-style string formatting, which previously is compiled by calling a %...

This PR adds support for compiling functions named _ even when there are multiple functions name...

* Use docstrings in `specialize.py`
* Limit line length of comments and docstrings to 72 charac...

In `CPyArg_ParseStackAndKeywordsSimple`, we don't check if the parser is
initialized, so on the...

Avoid trying to get the fallback type from the type variables if there
aren't 2 elements in the...

Currently these mostly segfault.

The main tricky case here is with *args and **kwargs (which ...

I was originally planning to address this by adding an ARG_POS_ONLY
kind (as a concrete win for...

This PR causes mypy to not show an error if a function named _ is redefined,
as a single under...

Currently the finally path has a hacky pointless branch
on a register that is potentially NULL ...

This makes several improvements to the support for compiling singledispatch that was introduced ...

We've been getting rid of the `c_` prefixes.

Closes #3379.

Accessing an instance attribute through a native class object results in
unexpected behavior at...

Part of the motivation here is that I want to make positional-only
arguments be properly reflec...

This is cleaner and more precise and will allow us to add convenience
methods to the class.
(I...

This pull request adds a specializer for faster constructing f-string, which
is translated int...

Closes mypyc/mypyc#875

Support things like `isinstance(x, int | str)` in Python 3.10

Closes #9880.

In PR #9192 a fast path was created to address the slowness reported
in issue #9169 wherein lar...

Instead of modifying dec.decorators directly, copy it and only modify
the copied version. That ...

Previously it only worked when the target Python version was 3.10. Now type
aliases like these ...

Support the X | Y syntax (PEP 604) in type aliases, casts, type applications
and base classes.
...

This makes specialized `format()` calls faster.

Closes mypyc/mypyc#876.

This fixes these issues:

* Allow variable-length tuple (tuple[int, ...]) in type aliases
* A...

This PR adds initial support for compiling functions marked with singledispatch by generating IR...

When calling a function that has been registered as an implementation
for a singledispatch func...

This PR adds a str.format specializer which only supports empty brackets. Also, the
detection ...

Closes mypyc/mypyc#835

* Add a branch for str_rpimitive in builtin_len
* Reduce redundant co...

dmypy requires local-partial-types, so without specifying it, we generate
a cache that is usele...

These only worked with the simplified stubs used in tests.

Adds initial support for type checking uses of the singledispatch decorator,
including support...

Fixes #10605

I believe this should help with some issues that come up with #10694.

* Run com2ann

* manual fixes (mainly None defaults)

* manual fixes (mainly stringifying ty...

Change the type of the first argument of verify (the type that
singledispatch is dispatching on...

Installation instruction example for requests (https://mypy.readthedocs.io/en/stable/getting_sta...

Change the type of the get_method_signature_hook and
get_function_signature_hook plugin hooks t...

SymbolTableNode.node can be None, which means that we may accidentally
passing None to verify, ...

Delete two outdated TODOs.

The wheel builds were broken. Our CI no longer uses Python 3.5.

When using lvalue context to re-infer call to an overloaded function,
the inferred tuple type c...

This adds support for these unary dunders:
* `__neg__`
* `__invert__`
* `__int__`
* `__float...

If we encounter an import of a submodule of a package with installed
stubs, and the submodule d...

When a method is used in a decorator, pass the full name to plugins
through the get_method_hook...

Closes mypyc/mypyc#830

Add dict_setdefault_spec_init_op.

This is a quick fix to unblock the 0.910 release.

The type guard type can be unrelated to the...

Depends on python/typeshed#5669

It was indeed weird that Union[builtins.bool, Literal[True]] wasn't simplified by make_simplifie...

Mypy currently will warn about unreachable code regardless if the code
"should" be type checked...

Co-authored-by: Marius Gedminas <[email protected]>
Co-authored-by: Guido van Rossum <gvanrossum...

If the first build finds missing stub packages, run the build a second
time after installing ty...

There are no tests since our test framework makes it tricky to
write tests for these kinds of s...

Fixes #9615, fixes #9682

Both issue reports hit the faulty cast on L2803. This changes the lo...

Resolves #10648

Add mypy tests for singledispatch that represent common errors that we
probably want to handle ...

It's now also available for Python 3

The pallets libraries are now bundled with a `py.typed` file. Suggesting to install these stubs ...

Fixes mypyc/mypyc#707.