Currently mypy.errors.Errors has too many responsibilities. Refactor current context and fine-grained dependency target tracking into a separate class, and have Errors just hold a reference to a context object. Errors shouldn't need to modify the context at all, I think.
Originally proposed in #4438 (comment).
Currently
mypy.errors.Errorshas too many responsibilities. Refactor current context and fine-grained dependency target tracking into a separate class, and haveErrorsjust hold a reference to a context object.Errorsshouldn't need to modify the context at all, I think.Originally proposed in #4438 (comment).