Using installed packages¶| mypy.readthedocs.io
Error codes enabled by default¶| mypy.readthedocs.io
Import discovery¶| mypy.readthedocs.io
No errors reported for obviously wrong code¶| mypy.readthedocs.io