A tool such as mypy that reads type hints and reports type errors without running the program.