From https://github.com/python/mypy/issues/7511#issuecomment-640665509 This would also entail giving a specific error code to most error messages