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

Tái hiện vấn đề với test.py, mypy.ini và thư mục .mypy_cache/ bằng các bước cấu hình được cung cấp. Bắt đầu bằng cách theo dõi việc vô hiệu hóa cache đối với các section [mypy-PATTERN] và so sánh với những thay đổi trong section chính [mypy]. Được coi là hoàn tất khi việc thay đổi section pattern khiến mypy báo cáo module foo bị thiếu mà không cần xóa cache thủ công.