I verified that Pants is using the same MyPy config by inserting same garbage into my mypy.ini and watching it crash.