717a549f4b
Signed-off-by: Anders Kaseorg <anders@zulip.com>
15 lines
284 B
INI
15 lines
284 B
INI
[mypy]
|
|
check_untyped_defs = True
|
|
disallow_any_generics = True
|
|
strict_optional = True
|
|
no_implicit_optional = True
|
|
|
|
incremental = True
|
|
scripts_are_modules = True
|
|
show_traceback = True
|
|
|
|
warn_no_return = True
|
|
warn_redundant_casts = True
|
|
warn_unused_ignores = True
|
|
warn_unreachable = True
|