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 /changelog.d | |
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 'changelog.d')
-rw-r--r-- | changelog.d/14671.misc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changelog.d/14671.misc b/changelog.d/14671.misc new file mode 100644 index 0000000000..93ceaeafc9 --- /dev/null +++ b/changelog.d/14671.misc @@ -0,0 +1 @@ +Improve type hints. |