diff options
| author | Florian Bruhin <me@the-compiler.org> | 2022-03-14 10:04:36 +0100 |
|---|---|---|
| committer | Florian Bruhin <me@the-compiler.org> | 2022-03-14 10:04:36 +0100 |
| commit | db720b145436000208212f5fc2fff60a3d09e849 (patch) | |
| tree | e7d62664990c1824226bc8869ad6d47ad325a39c /scripts/dev/misc_checks.py | |
| parent | b2a80886268994545eb0d8b871b49d4c85b7af93 (diff) | |
| download | qutebrowser-db720b145436000208212f5fc2fff60a3d09e849.tar.gz qutebrowser-db720b145436000208212f5fc2fff60a3d09e849.zip | |
Let mypy check for blanket ignores
Diffstat (limited to 'scripts/dev/misc_checks.py')
| -rw-r--r-- | scripts/dev/misc_checks.py | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/scripts/dev/misc_checks.py b/scripts/dev/misc_checks.py index 400a7990e..37c59d98f 100644 --- a/scripts/dev/misc_checks.py +++ b/scripts/dev/misc_checks.py @@ -199,11 +199,6 @@ def check_spelling(args: argparse.Namespace) -> Optional[bool]: "Don't use a blanket 'noqa', use something like 'noqa: X123' instead.", ), ( - re.compile(r'# type: ignore[^\[]'), - ("Don't use a blanket 'type: ignore', use something like " - "'type: ignore[error-code]' instead."), - ), - ( re.compile(r'# type: (?!ignore(\[|$))'), "Don't use type comments, use type annotations instead.", ), |