Merge branch 'untyped_defs' into typing

dnephin · Sep 10, 2022 · a20634b · a20634b
2 parents c4a6f37 + fcd4ead
commit a20634b
Show file tree

Hide file tree

Showing 9 changed files with 487 additions and 232 deletions.
diff --git a/mypy.ini b/mypy.ini
@@ -1,3 +1,4 @@
 # See https://mypy.readthedocs.io/en/stable/config_file.html
 [mypy]
 python_version = 3.7
+disallow_untyped_defs = True