Mypy suggests `types-Pygments` but `--install-types` doesn't install it

[rentruewang]

Bug Report

(A clear and concise description of what the bug is.)
See below.

To Reproduce

Do from pygments.lexers import ....

mypy file.py would gives:

(3.14) ➜ git: mypy .
error: Library stubs not installed for "pygments.lexers"  [import-untyped]
note: Hint: "python3 -m pip install types-Pygments"
note: (or run "mypy --install-types" to install all missing stub packages)
note: See https://mypy.readthedocs.io/en/stable/running_mypy.html#missing-imports
error: Library stubs not installed for "pygments"  [import-untyped]

Normally for other packages I would fix by mypy --install-types [--non-interactive] ..

But it doesn't install types-Pygments despite mypy knowing that this stub is missing.

# Ideally, a small sample program that demonstrates the problem.
# Or even better, a reproducible playground link https://mypy-play.net/ (use the "Gist" button)

Expected Behavior

Actual Behavior

Your Environment

• Mypy version used: mypy 1.19.1 (compiled: yes)
• Mypy command-line flags: See above
• Mypy configuration options from mypy.ini (and other config files): No
• Python version used: Python 3.14.3

[brianschubert]

Are you perhaps seeing cached errors from a previous run without --install-types? Can you try deleting the .mypy_cache directory or modifying the source file(s), and then re-run mypy --install-types --non-interactive?

Note by the way that --install-types isn't recommend these days and adding it is considered a bit of a mistake by some. It's generally better to track stub dependencies yourself - see #18156, #10600 for more discussion

[rentruewang]

@brianschubert

I think you might be right. I am not able to reproduce it after cleaning my venv.

Feel free to close it.

For the --install-types, personally I think adding type stubs manually is less elegant (correct me if I'm wrong, but pyright doesn't even need to manually do something like --install-types, which is IMO superior).