Signed-off-by: jinzewu <[email protected]>

Fixes
https://github.com/python/mypy/issues/13771#issuecomment-1262749908

Ref #4717

This will allow people who consider this check too strict to opt-out
easily using...

Fixes https://github.com/python/mypy/issues/13756

The
[`importlib.resources.path`](https://docs.python.org/3.11/library/importlib.resources.html#...

Fixes #13580

This is a small follow-up to #13678 and #13755.

In the former diff, I added a TypeVar scope f...

This fixes an annoyance where the messages got reshuffled between daemon
runs.

Also if there...

Fixes #13770

Resolves #13711, resolves #13429

Capture stdout in daemon and display it in the client. This makes it
possible to use debug prin...

If daemon was running and additional third party code was installed,
mypy daemon would report e...

I don't think we need to wait long time for this. As soon as next
release goes out, I think we ...

This should fix a crash discovered by `mypy_primer` in
https://github.com/python/mypy/pull/1351...

Fixes #2350

This essentially re-applies https://github.com/python/mypy/pull/8111
modulo vari...

Fixes #13757

As `mypy_primer` in https://github.com/python/mypy/pull/13516 shows,
some people actually use t...

See #13681

"Mapping file paths to modules" belongs next to "Specifying code to be
checked". ...

Part of the effort to nudge users into using specific type ignores. See
#13541

This PR enabl...

It was failing:
https://github.com/python/mypy/actions/runs/3133286021/jobs/5086495727

Fixes #9091

This brings us in line with the PEP 484 updates in 2018

Fixes #11234

Source commit:

https://github.com/python/typeshed/commit/9abe56a19a42fd1e225a2b8d8b9ab8d830d5...

Fixes #10575

Fixes https://github.com/python/mypy/issues/13713, fixes
https://github.com/python/mypy/issues/...

Fixes #12886

`contract_starred_pattern_types` and `expand_starred_pattern_types` are
sort of...

Also don't complain about other TypeVarLikeTypes

Implements
https://github.com/python/mypy/p...

Fixes #13727, fixes #12448, fixes #13213

This is an attempt to fix the attrs magic attribute handling.

The attrs magic attribute funct...

See #13681.

Prefer mypy: ignore-errors over module level type: ignore, which is
surprising. ...

See #13681. I'd like to make bigger changes to this page, but still
thinking them through

This pull request fixes #9838.

It turns out that when an object is using a metaclass, it uses...

Fixes #12112.

The reason why mypy was crashing with a "Must not defer during final
iteration...

The old one was long and weirdly incomplete. It had placeholder text
like "link to instructions".

Meant to do this in https://github.com/python/mypy/pull/13722

Note: This change is part of a series of upcoming MRs to improve
`stubgenc`.

`stubgenc` trie...

Suggest providing a link to the project to help fuel mypy_primer. Let
Github wrap text. Phrase ...

The existing logic for splitting mapped & template into prefix, middle,
and suffix does not han...

Now we have suggestions for almost all the currently available
third-party packages in typeshed...

Originally this PR was intended to add some test cases from PEP646.
However it became immediate...

See #13681

See #13681

PEP 563 is in limbo, so fix incorrect statements

Mention what type comments are...

See #13681

In particular, it's really common to want to make progress towards
`--strict`, an...

See #13681

Changed `Typevar` -> `TypeVar` in the error message from #13166.

I was testing the mypy 0.980...

I don't think testing the different architecture gains us anything, and
[we don't build mypyc c...

### Description

This PR tweaks two things about how mypyc generates and builds C code to
bet...

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

Co-authored-by: Shantanu <12621235+hauntsa...

The CI has started to sporadically fail depending on whether 3.10.6 is
picked up by GitHub Acti...

Previously the for index variable would always be inferred a plain `int`
when iterating over ra...

Add support for `WithStmt` nodes for the partially defined check.

Description

Adds support for `DictionaryComprehension` nodes for the partially
defined check.

### Description
Adds support for `AssignmentExpr` nodes for the partially defined check.

Generating errors after first occurrence is pure noise -- if the
variable is actually undefined...

Fixes #13654, caused by #13629

This builds on #13601 to add support for statements like `continue`,
`break`, `return`, `raise`...

Removing a bunch of `TODO` items.

These are now optimized for i32, i64 and int arguments.

`i32(x)` truncates from `i64`, but do...

Fixes #13633

- Incompatible stubs aren't really a thing (that is visible to mypy at
module f...

Closes #13599

This was broken by https://github.com/python/mypy/pull/13155, fix is
straightforward, pass cust...

`reveal_type` provides a useful note to users that it will always reveal
`Any` within an unchec...

This implements cases for homogenous and non-homogenous tuples in the
supertype of branch for c...

This diff lays the foundation for detecting partially defined variables.
Think of the following...

Allow a `TypedDict` to be decorated with `@final`. Like a regular class,
mypy will emit an erro...

On Windows, `MYPYPATH` needs to be a _semicolon_-separated list of
paths, rather than a _colon_...

Oh, this was very interesting.
During the debug sessions I learned a lot about how pattern matc...

There's no reserved value we can use to track if a local variable with
a native int type hasn't...

Let it only take an ErrorMessage. The default error now gets an error
code as well, which close...

Since native ints can't have a dedicated reserved value to mark a
missing argument, use extra b...

Fixes #9234

This diff fixes a bug in `infer_lambda_type_using_context` where it blindly trust...

This pull request:

- Fixes #10357
- Fixes #9908

Currently, checkmember.py attempts handli...

Recreate of https://github.com/python/mypy/pull/13565
Closes #13563

This is a relic from blackening. Actually quite a few buggy strings in
here, so glad I did this.

`calculate_metaclass_info()` does not mutate `info`, it returns a value.
It was never used.

...

Closes #13561

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

This diff:

- Fixes #8129
- Fixes #13043
- Fixes #13167

For more concise repros of these ...

When --local-partial-types is set and we can't infer a complete type for
a type that we initial...

Temporary workaround to #13572 that slows down mypyc tests.

Calls to these dunders on native classes will be specialized to use a
direct method call instea...

This gets in the way more than I thought and has not inspired anyone to
make tests faster.

Since native ints can't support a reserved value to mark an undefined
attribute, use a separate...

While working on #13531, I noticed that DataclassTransformer's
`collect_attributes` method was ...

* selfcheck: Enable the `redundant-expr` error code

* Remove unnecessary `type: ignore`

* ...

This is a useful check, and it doesn't seem to generate false positives anymore

This fixes a little regression caused by #13494