tools: Migrate core run-mypy options to mypy.ini.
Add traceback option, as used in core Zulip run-mypy.
ADD
mypy.ini
+[mypy]
+check_untyped_defs = True
+disallow_any_generics = True
+
+incremental = True
+scripts_are_modules = True
+show_traceback = True
+
+warn_no_return = True

MODIFY
tools/run-mypy
tools/run-mypy
@@ -149,11 +149,7 @@ for file_path in python_files:
mypy_command = "mypy"
-extra_args = ["--check-untyped-defs",
- "--follow-imports=silent",
- "--scripts-are-modules",
- "--disallow-any-generics",
- "-i"]
+extra_args = ["--follow-imports=silent"]
if args.disallow_untyped_defs:
extra_args.append("--disallow-untyped-defs")
if args.warn_unused_ignores:

tools: Migrate core run-mypy options to mypy.ini.

Add traceback option, as used in core Zulip run-mypy.