It's possible to either `# type: ignore` for a whole file or `# type: ignore[specific]` on a line. A combination of both would be useful. This script: ``` def test(input): pass ``` yields: `error: Function is missing a type annotation [no-untyped-def]` This script: ``` # type: ignore[assignment] def test(input): pass ``` yields: `Success: no issues found in 1 source file` ... while I think it would make more sense for the `no-untyped-def` error to still be raised, as we're only trying to ignore `assignment` errors.
Activity
WilliamDEdwards commentedon Apr 5, 2022
Related: #11462
Warn on module level type ignore with error code
Warn on module level type ignore with error code (#13512)