The following seems to type check fine (both mypy and pyright) even though it should not (I would hope): ```py from unittest.mock import Mock, patch @patch("sys.exit", new=Mock()) def f(i: int) -> None: ... f("a") ``` Tried with `types-mock==5.0.0.6`.