Make typing tests importable to have a namespace

Author: hynek

.github/PULL_REQUEST_TEMPLATE.md

@@ -20,7 +20,7 @@ You may check boxes that don't apply to your pull request to indicate that there
   - Consider granting [push permissions to the PR branch](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/working-with-forks/allowing-changes-to-a-pull-request-branch-created-from-a-fork), so maintainers can fix minor issues themselves without pestering you.
 - [ ] There's **tests** for all new and changed code.
 - [ ] Changes or additions to public APIs are reflected in our type stubs (files ending in ``.pyi``).
-    - [ ] ...and used in the stub test file `typing-examples/baseline.py` or, if necessary, `typing-examples/mypy.py`.
+    - [ ] ...and used in the stub test file `typing_tests/baseline.py` or, if necessary, `typing_tests/mypy.py`.
     - [ ] If they've been added to `attr/__init__.pyi`, they've *also* been re-imported in `attrs/__init__.pyi`.
 - [ ] The **documentation** has been updated.
     - [ ] New functions/classes have to be added to `docs/api.rst` by hand.

pyproject.toml

@@ -283,8 +283,7 @@ ignore = [
     "FA100",
     "UP045",   # need old-school type annotations for some asserts
 ]
-"typing-examples/*" = [
-  "INP001", # not for imports
+"typing_tests/*" = [
   "E741",   # ambiguous variable names don't matter in type checks
   "B018",   # useless expressions aren't useless in type checks
   "B015",   # pointless comparison in type checks aren't pointless
@@ -329,15 +328,15 @@ showcontent = true
 pretty = true
 disallow_untyped_defs = true
 check_untyped_defs = true
-exclude = ["typing-examples/pyrefly.py"]
+exclude = ["typing_tests/pyrefly.py"]
 
 
 [tool.pyright]
-include = ["typing-examples/baseline.py"]
+include = ["typing_tests/baseline.py"]
 
 
 [tool.pyrefly]
-project-includes = ["typing-examples"]
+project-includes = ["typing_tests"]
 
 
 [[tool.ty.overrides]]
@@ -350,6 +349,6 @@ include = [
   "docs",
   "src",
   "tests",
-  "typing-examples/mypy.py",
-  "typing-examples/pyrefly.py"
+  "typing_tests/mypy.py",
+  "typing_tests/pyrefly.py"
 ]

tox.ini

@@ -30,7 +30,7 @@ dependency_groups =
 commands =
     tests: pytest {posargs:-n auto}
     mypy: pytest -k test_mypy
-    mypy: mypy typing-examples
+    mypy: mypy typing_tests
     mypy: mypy src/attrs/__init__.pyi src/attr/__init__.pyi src/attr/_typing_compat.pyi src/attr/_version_info.pyi src/attr/converters.pyi src/attr/exceptions.pyi src/attr/filters.pyi src/attr/setters.pyi src/attr/validators.pyi
 
 [testenv:pypy3.11-tests]
@@ -125,12 +125,12 @@ commands =
 [testenv:typing-pyright]
 dependency_groups = pyright
 commands =
-    pyright typing-examples/baseline.py
+    pyright
     pytest tests/test_pyright.py -vv
 
 [testenv:typing-ty]
 dependency_groups = ty
-commands = ty check typing-examples/baseline.py
+commands = ty check typing_tests/baseline.py
 
 [testenv:typing-pyrefly]
 dependency_groups = pyrefly

typing-examples/README.md typing_tests/README.mdtyping-examples/README.md renamed to typing_tests/README.md

@@ -1,7 +1,9 @@
-# Typing examples
+# Type hint tests
 
 The files in this directory are **not** meant to be executed.
 
 They are type-checked using various type checkers to ensure our type stubs are correct.
 
+The directory is an importable package so its modules don't shadow real ones.
+
 See the environments starting with `typing-` in [`tox.ini`](../tox.ini).

typing_tests/__init__.py

@@ -0,0 +1 @@
+# SPDX-License-Identifier: MIT