diff options
author | David Robertson <davidr@element.io> | 2022-12-12 21:25:07 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-12 21:25:07 +0000 |
commit | 3d87847ecc943c689c4587c5327d744e4a8f92c2 (patch) | |
tree | 376b5e4eecb94e0fe75272cf78be7235f307d54a /mypy.ini | |
parent | Fix missing cache invalidation in application service code (#14670) (diff) | |
download | synapse-3d87847ecc943c689c4587c5327d744e4a8f92c2.tar.xz |
Enable `--warn-redundant-casts` option in mypy (#14671)
* Enable `--warn-redundant-casts` option in mypy Doesn't do much but helps me sleep better at night. * Changelog * Fix name of the ignore * Fix one more missed cast Not sure why I didn't see this one locally, maybe I needed a poetry update * Remove old comment Co-authored-by: Patrick Cloke <clokep@users.noreply.github.com> Co-authored-by: Patrick Cloke <clokep@users.noreply.github.com>
Diffstat (limited to 'mypy.ini')
-rw-r--r-- | mypy.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini index a4a1e4511a..727536df50 100644 --- a/mypy.ini +++ b/mypy.ini @@ -12,6 +12,7 @@ local_partial_types = True no_implicit_optional = True disallow_untyped_defs = True strict_equality = True +warn_redundant_casts = True files = docker/, |