Switch to override formulation to allow for partial fixes

Author: schnellerhase

pyproject.toml

@@ -65,10 +65,10 @@ log_cli = true
 [tool.mypy]
 # Suggested at https://blog.wolt.com/engineering/2021/09/30/professional-grade-mypy-configuration/
 # Goal would be to make all of the below True long-term
-disallow_untyped_defs = false
-disallow_any_unimported = false
+disallow_untyped_defs = true
+disallow_any_unimported = true
 no_implicit_optional = true
-check_untyped_defs = false
+check_untyped_defs = true
 warn_return_any = true
 warn_unused_ignores = true
 show_error_codes = true
@@ -77,6 +77,12 @@ show_error_codes = true
 module = ['basix', 'cffi', 'numba.*', 'pygraphviz', 'ufl.*']
 ignore_missing_imports = true
 
+[[tool.mypy.overrides]]
+module = ["ffcx.*", "ffcx.ir.*", "ffcx.codegeneration.*"]
+disallow_untyped_defs = false
+disallow_any_unimported = false
+check_untyped_defs = false
+
 [tool.ruff]
 line-length = 100
 indent-width = 4