This is the problem:
|
if not options.config_file: |
If I run mypy just using mypy a.py with a mypy.ini in the current directory, options.config_file will for some reason be None and no plugins will be loaded. options.plugins will be set properly though.