Mypy does not recheck files when follow_imports changes for dependencies

Steps to reproduce

1. Create module test.py with import from nonexistent module:

from foo import bar

2. Create mypy.ini file:

[mypy]

[mypy-foo]
ignore_missing_imports = True 

3. Run mypy

$ mypy test.py 
Success: no issues found in 1 source file

4. Comment out [mypy-foo] section in mypy.ini

[mypy]

# [mypy-foo]
# ignore_missing_imports = True 

5. Run mypy

$ mypy test.py 
Success: no issues found in 1 source file

Expected result

After step 4, mypy should detect config change and (partially?) invalidate cache, leading to a type error.

$ mypy test.py 
test.py:1: error: Cannot find module named 'foo'
test.py:1: note: See https://mypy.readthedocs.io/en/latest/running_mypy.html#missing-imports
Found 1 error in 1 file (checked 1 source file)

Notes

• Deleting .mypy_cache/ and re-running mypy fixes the issue.
• Adding/removing ignore_missing_imports in the main [mypy] section does seem to invalidate the cache as expected. So this issue only seems to apply to [mypy-PATTERN] sections.

Versions

$ python --version
Python 3.7.3

$ mypy --version
mypy 0.740

Reproduisez le problème avec test.py, mypy.ini et le répertoire .mypy_cache/ en utilisant les étapes de configuration indiquées. Commencez par suivre l’invalidation du cache pour les sections [mypy-PATTERN] et comparez-la aux changements dans la section principale [mypy]. C’est terminé lorsque la modification de la section de pattern amène mypy à signaler le module foo manquant sans supprimer manuellement le cache.