MyPy Error Codes
mypy 0.73 came with support for error codes:

http://mypy-lang.blogspot.com/2019/09/mypy-730-released.html

I think we should add these to CI and update docs to require these going forward for any `type: ignore` statements

@simonjayhawkins 