diff options
| author | Andrew Morgan <1342360+anoadragon453@users.noreply.github.com> | 2022-11-17 18:34:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-17 18:34:09 +0000 |
| commit | ae22e6e94f61b28715950d8a6c04c6ac44ac150d (patch) | |
| tree | 90f4c431f9dd0d4fa48e47fcc75b63c3a338c21b /mypy.ini | |
| parent | Fix version that `worker_main_http_uri` is redundant from (#14476) (diff) | |
| download | synapse-ae22e6e94f61b28715950d8a6c04c6ac44ac150d.tar.xz | |
Enable 'strict_equality' checking for mypy (#14452)
Diffstat (limited to '')
| -rw-r--r-- | mypy.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini index 53512b2584..4cd61e0484 100644 --- a/mypy.ini +++ b/mypy.ini @@ -11,6 +11,7 @@ warn_unused_ignores = True local_partial_types = True no_implicit_optional = True disallow_untyped_defs = True +strict_equality = True files = docker/, |