pyproject: use strict typing for everyone

.github/workflows/ci.yml

@@ -57,7 +57,7 @@ jobs:
                 . ./ci-support-v0
 
                 build_py_project_in_venv
-                python -m mypy codepy
+                python -m mypy codepy test examples
 
     docs:
         name: Documentation

pyproject.toml

@@ -25,10 +25,12 @@ classifiers = [
     "Topic :: Utilities",
 ]
 dependencies = [
+    "cgen>=2020.1",
     "numpy>=1.6",
-    "pytools>=2022.1.14",
     "platformdirs>=2.2.0",
-    "cgen>=2020.1"
+    "pytools>=2022.1.14",
+    # NOTE: for Self (requires python >=3.11)
+    "typing-extensions>=4.5",
 ]
 
 [project.optional-dependencies]
@@ -88,23 +90,6 @@ warn_unused_ignores = true
 
 [[tool.mypy.overrides]]
 module = [
-    "cgen.*",
+    "pycuda.*",
 ]
 ignore_missing_imports = true
-
-[[tool.mypy.overrides]]
-module = [
-    "codepy.bpl",
-    "codepy.elementwise",
-    "codepy.cuda",
-]
-# NOTE: the strict option is global, the checks must be disabled one by one
-warn_unused_ignores = false
-check_untyped_defs = false
-allow_subclassing_any = true
-allow_any_generics = true
-allow_untyped_calls = true
-allow_incomplete_defs = true
-allow_untyped_defs = true
-implicit_reexport = true
-warn_return_any = false