add pathlib to Misc/mypy tests

Author: ap--

.github/workflows/mypy.yml

@@ -41,6 +41,7 @@ jobs:
       matrix:
         target: [
           "Lib/_pyrepl",
+          "Lib/pathlib",
           "Lib/test/libregrtest",
           "Tools/build",
           "Tools/cases_generator",

Lib/pathlib/mypy.ini

@@ -0,0 +1,25 @@
+# Config file for running mypy on pathlib.
+# Run mypy by invoking `mypy --config-file Lib/pathlib/mypy.ini`
+# on the command-line from the repo root
+
+[mypy]
+files = Lib/pathlib
+mypy_path = $MYPY_CONFIG_FILE_DIR/../../Misc/mypy
+explicit_package_bases = True
+python_version = 3.13
+platform = linux
+pretty = True
+
+# ... Enable most stricter settings
+enable_error_code = ignore-without-code,redundant-expr
+strict = True
+
+# can't enable before glob isn't typed ...
+warn_return_any = False
+disable_error_code = attr-defined
+
+# Various stricter settings that we can't yet enable
+# Try to enable these in the following order:
+disallow_untyped_calls = False
+disallow_untyped_defs = False
+check_untyped_defs = False

Misc/mypy/pathlib

@@ -0,0 +1 @@
+../../Lib/pathlib

Misc/mypy/typed-stdlib.txt

@@ -2,3 +2,4 @@
 
 _colorize.py
 _pyrepl
+pathlib