Followup to #15444

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

This is allegedly causing large performance problems, see 13821

typeshed/8231 had zero hits on ...

Since the plugin provides superior type checking: https://github.com/python/mypy/pull/13987#issue...

Check that `default` type is a subtype of `bound` or one of the
constraint types.

Add `defau...

I initially included an error (removed allowlisted error code that is
not covered), to verify i...

Fixes #15431

After this PR one will be able to easily find documentation for given
error cod...

Fixes #10709

Two changes here:
* Add equality methods to `ErrorCode` because they may appea...

Makes the HTML builder generate a _refs.html file that redirects
(global) refs (when provided a...

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

Fixes https://github.com/python/mypy/pull/15385#issuecomment-1587030261

While investigating something unrelated I stumbled across the `*_setup`
functions, and I notice...

Fixes #14845.

p.s. In the issue above, I was concerned that adding this method would
create ...

Fixes #15380

Note I also update the `NamedTuple` fixture to be much closer to real
definitio...

Fixes #15378

Fixes #15351

This may have some perf impact, but I predict it will be minimal (and I
didn't ...

This PR updates the semantic analyzer to support most forms of TypeVars
with defaults while als...

This should allow the inner pytest to pass even when the outer pytest is
invoked outside of the...

Continue type checking if a class has two or more identical bases.
Closes https://github.com/py...

```python
def f(b: bool) -> None:
if b:
y = 1
else:
y = None

f(F...

This PR inlines math literals such as `math.pi` and `math.e`. Previously
Using `math.pi` would ...

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

A class marked with `allow_interpreted_subclasses=True` implicitly
supports serialization while...

Preparation for #13985 to make the transition from `master` to `main` as
seamless as possible.
...

Start implementing [PEP 696](https://peps.python.org/pep-0696/) TypeVar
defaults. This PR
* Ad...

Fixes #14746

`adjust_error_kinds()` should be run over every block, but the old impl.
of `insert_exception_h...

Also use keyword arguments + copy_modified for this in many places

See #12582. pyright supports this pattern as well.

`TestItem` has instance attributes, so it doesn't need the class vars.

The order in which inline error assertions are collected into the
`TestCase.output` (the "expec...

These tests have been failing when running in some terminals:
```
FAILED mypy/test/teststubtes...

`teststubtest.py` is currently failing on `master` due to changes that
were made to `typing_ext...

The regular function body has no type information if the function uses
a type variable with a v...

Previously they were sometimes reported as `builtins.type.method_name`
(i.e. a method of `built...

This PR removes labels which are never jumped to, as well as removing
gotos that jump directly ...

Resolves #10744

Previously the "signature incompatible with supertype" error only
included detailed comparison ...

Fixes #15062

Implementing "happy path" took like couple dozen lines, but there are *a
lot* ...

This add support for `attrs.fields`, which is a nicer way of accessing
the attrs magic attribut...

This PR refactors name resolution in stubgen to make it simple to use
and fixes a bunch of rela...

"attrs" namespace, "attrs.define" and "attrs.field" are the recommended
new namespace and API o...

Fixes https://github.com/python/mypy/issues/15214 but adding a note to
the dmypy docs.

Closes #15153.

This issue was already addressed in #15184; we're adding a regression
test.

Follow up to #13427.

Fixes #9963, fixes #12693

We were checking only for `typing_extensions.Unpack`, which breaks code
when checking at 3.11+ ...

Currently, when starting the mypy daemon, we're passing the timeout and
log_file as part of the...

Fixes mypyc/mypyc#994.

Source commit:

https://github.com/python/typeshed/commit/15a0c28530ffcda0d4be2026511af3604336...

pre-commit is failing on `master`:
https://github.com/python/mypy/actions/runs/4970566646/jobs/...

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

Fixes #7961

Fixes case 1 in https://github.com/python/mypy/issues/14529

Fixes #15132

Update the link to latest version MS has on its website. (there's no
more build tools for 2017,...

This makes it easier to maintain the configurations for the various
linting tools we use in CI....

Forgotten comma between parameters.

Closes #14072

This implements support for [PEP
698](https://peps.python.org/pep-0698/), whi...

When starting mypy daemon, we pickle options. Error codes are part of
options and need to be pi...

This is a recent regression

This used to be a source of code duplication, and also using the
"native" visitor will allow us...

This is a pure refactor to improve code organization.

x-ref: #15197

This is another PR to prepare for variadic type aliases.

This is in preparation for support of variadic type aliases. This PR
should be a no-op from use...

Fixes #15195

Fixes #15192

The following code optimises make_simplified_union in the common case
that ther...

The two files got out of sync after #15167

Fixes #9901
Fixes #13662

Fix inheriting from a call-based `collections.namedtuple` /
`typin...

Fixes #14681

Fixes #12977

IMO current dict expression inference logic is quite arbitrary: we only
take th...

This PR fixes the
[`FURB129`](https://github.com/dosisod/refurb/blob/master/docs/checks.md#furb...

Fixes #12677

When assert_type fails, when the type of value examined and the
specified type ...

See https://github.com/python/mypy/pull/15133#issuecomment-1533794642
for context.

This reverts commit a9ee618f3a941098b24156eb499db5684fcfc261.

The original fix doesn't work i...

This adds tests for mixing star args with typevar tuples from PEP646. In
order to do this we ha...

Fixes #2608.

Use the heuristic suggested in #2608 and allow narrowed types of
variables (but...

<!--pre-commit.ci start-->
updates:
- [github.com/pycqa/isort: 5.11.5 →
5.12.0](https://githu...

Fixes #8823

The issue above makes `--warn-unused-ignores` problematic for
cross-platform/cr...

Fixes #14796

Fix #15004

FWIW I don't think dataclass protocols make much sense, but we
definitely should...