import time if time.time() > 42: x = 1 print(x) My IDE (PyCharm) warns me about x potentially being undefined: But pylint and mypy do not say anything. Is there a way to make one of them complain about this situation too? Continue reading...