I had a look into type checking and tried a very simple example like
def greeting(name: str) -> str:
return 'Hello ' + name
if __name__ == "__main__":
pytype complained as expected.
BUT mypy says;
Success: no issues found in 1 source file
This is a Fedora 31 systems with:
Any idea why mypy doesn't detect anything?