Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
In PEP 484 type comments, allow text after "# type: ignore"
This is to support allowing typecheckers to implement ignores for specific errors, using syntax like `# type: ignore=E1000` or `# type: ignore[type-mismatch` or some such. mypy is about to add support for ignoring specific errors following this design: python/mypy#7239 Support for extra text in type comments was implemented in CPython as https://bugs.python.org/issue36878 and in typed_ast as python/typed_ast#116.
- Loading branch information