python / python/mypy

Issues with popular third-party packages (meta)

Open
#17,912 5 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

meta
Dominant language
Python
Stars
20.6k
Forks
3.3k
PR merge metrics
PR metrics pending

Description

This issue is used to centrally track issues related to using mypy together with popular third-party packages (either using inline types or stubs). These issues can impact a large number of users, and thus we generally prioritize fixing them. However, sometimes we can lose track of some problems, and this issue is intended to help with that.

Issues could be anything interfering with the use of mypy with a third-party package, including but not limited to these:

  • Mypy crashes
  • False positives
  • Slow type checking

If you encounter something like the above, create a separate issue first and leave a comment here with a link to the issue, preferably in this format so the status of issue is immediately visible:

  • #123

Also feel free to post links to existing issues created by others, so that they will get more visibility.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

This is a meta tracker for problems using mypy with popular third-party packages, including crashes, false positives, and slow type checking. Start by reviewing the separate issue reports linked in this tracker; done means addressing a specific linked problem rather than changing this issue itself.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
tooling
Issue type
Bug
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
15/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.