Split `import-untyped` into two different error codes depending on whether stubs are available to install
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 20.6k
- Forks
- 3.3k
- PR merge metrics
- PR metrics pending
Description
Feature
Implement separate error codes for (1) untyped imports without stubs available and (2) untyped imports with stubs available.
Pitch
As explained under Missing imports in the docs, there are two different categories of untyped imports. Currently, both of these categories are grouped under the import-untyped error code. For example:
-
No stubs available (documented here):
error: Skipping analyzing "boto3": module is installed, but missing library stubs or py.typed marker [import-untyped] -
Stubs available (documented here):
error: Library stubs not installed for "requests" [import-untyped] note: Hint: "python3 -m pip install types-requests"
I propose that these categories should fall under different error codes, either by changing the error code for both of these categories (and removing the import-untyped error code) or by changing the error code for only one of the categories, and leaving the other as import-untyped. For example, the second category could fall under a new import-untyped-stubs-available code.
This would allow configuring mypy to handle these two categories differently. For example, I would like to always ignore errors for untyped third-party libraries without stubs available, but always show errors for libraries with stubs available, so that I know which stub packages I should add to my project dependencies. The available solutions for achieving this all have drawbacks:
- Using
disable_error_code = import-untypedignores both of the above categories, so you won't be notified about libraries with available stubs. - Using the
--install-typesoption as part of CICD workflows is brittle and not recommended (see https://github.com/python/mypy/issues/17852), so doesn't scale well when maintaining many different repositories where running--install-typeslocally for every project on a regular basis is not feasible. - Ignoring the
import-untypederror code for individual imports is again inconvenient when managing many different projects with many third-party dependencies. Also, if you ignore theimport-untypederror code for a particular import and then the library later adds type stubs, mypy won't notify you that there is a stub package available to install.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the linked “Missing imports” documentation and trace where the two shown import-untyped diagnostics and their error codes are produced. Review the existing error-code configuration and related tests, then define separate codes whose behavior distinguishes unavailable stubs from installable stubs.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100