Что произойдёт, если в `mypy` будет обнаружен несоответствие типов в функции, которая возвращает `List[str]`, но на самом деле возвращает `List[int]`?