Как проверить исходные файлы и файлы-заглушки с помощью mypy? ⇐ Python

[Anonymous]

В документации Mypy указано:

Если каталог содержит файлы .py и .pyi для одного и того же модуля, файл .pyi имеет приоритет. Таким образом, вы можете легко добавлять аннотации к модулю, даже если не хотите изменять исходный код. (документы)

Честно говоря, я считаю такое поведение весьма проблематичным. По сути, это означает, что если у вас есть файлы-заглушки, вы пропустите все ошибки типов в соответствующих исходных файлах.
Я ожидал, что Mypy проверит и сравнит как исходный файл, так и файлы-заглушки. Есть ли реальное решение этой проблемы?

Подробнее здесь: https://stackoverflow.com/questions/798 ... -with-mypy