Enable reporting unnecessary "type: ignore" comments

This commit is contained in:
Isaiah Odhner 2023-07-16 00:47:15 -04:00
parent 15b35eaf5c
commit 36e809bc97

View File

@ -17,6 +17,7 @@
// reportUnknownMemberType caused numerous bogus errors,
// with Textual's generic App[ResultType] and Screen[ScreenResultType] classes.
"reportUnknownMemberType": false,
"reportUnnecessaryTypeIgnoreComment": "information",
// STRICT PROFILE
// As far as I know, there's no way to inherit from strict and then loosen any rules,
@ -91,6 +92,6 @@
"reportPropertyTypeMismatch": "none",
"reportShadowedImports": "none",
"reportUninitializedInstanceVariable": "none",
"reportUnnecessaryTypeIgnoreComment": "none",
// "reportUnnecessaryTypeIgnoreComment": "none",
"reportUnusedCallResult": "none",
}