Update base CI version to 3.14 (from 3.10)

.github/workflows/fuzz.yml

@@ -24,10 +24,10 @@ jobs:
     - uses: actions/checkout@v3
       with:
         fetch-depth: 0
-    - name: Set up Python 3.10
+    - name: Set up Python 3.14
       uses: actions/setup-python@v4
       with:
-        python-version: "3.10.9"
+        python-version: "3.14.2"
     - name: Restore cache
       uses: actions/cache@v3
       with:
@@ -79,7 +79,7 @@ jobs:
       with:
         name: explicit-example-patches
         path: .hypothesis/patches/latest_hypofuzz_*.patch
-    
+
     # Upload the database so it'll be persisted between runs.
     # Note that we can also pull it down to use locally via
     # https://hypothesis.readthedocs.io/en/latest/database.html#hypothesis.database.GitHubArtifactDatabase

.github/workflows/main.yml

@@ -33,7 +33,7 @@ jobs:
           - check-format
       fail-fast: false
     env:
-      PYTHON_VERSION: "3.10"
+      PYTHON_VERSION: "3.14"
     steps:
     - uses: actions/checkout@v3
       with:
@@ -88,22 +88,24 @@ jobs:
           - check-py313t-nocover
           - check-py313t-niche
           - check-quality
-          - check-pytest62
-          - check-pytest62
+          - check-pytest9
+          - check-pytest84
+          - check-pytest74
+          - check-py311-pytest62
           - check-django60
           - check-django42
-          - check-pandas22
-          - check-pandas21
-          - check-pandas20
-          - check-pandas15
-          - check-pandas14
-          - check-pandas13
+          - check-py313-pandas22
+          - check-py312-pandas21
+          - check-py311-pandas20
+          - check-py311-pandas15
+          - check-py310-pandas14
+          - check-py310-pandas13
           ## FIXME: actions update means Python builds without eg _bz2, which was required
           # - check-py310-pandas12
           # - check-py310-pandas11
       fail-fast: false
     env:
-      PYTHON_VERSION: "3.10"
+      PYTHON_VERSION: "3.14"
     steps:
     - uses: actions/checkout@v3
       with:
@@ -172,7 +174,7 @@ jobs:
           - check-numpy-nightly
       fail-fast: false
     env:
-      PYTHON_VERSION: "3.10"
+      PYTHON_VERSION: "3.14"
     steps:
     - uses: actions/checkout@v3
       with:
@@ -201,7 +203,7 @@ jobs:
           - macos-latest
         python-version:
           - "3.11"
-          - "3.13"
+          - "3.14"
         python-architecture:
           - null
           - "x86"
@@ -213,11 +215,11 @@ jobs:
           - alt-rest
         exclude:
           - { os: macos-latest, python-architecture: "x86" }
-          - { python-version: "3.13", python-architecture: "x86" }
+          - { python-version: "3.14", python-architecture: "x86" }
           - { python-version: "3.11", task: nocover }
           - { python-version: "3.11", task: rest }
-          - { python-version: "3.13", task: alt-nocover }
-          - { python-version: "3.13", task: alt-rest }
+          - { python-version: "3.14", task: alt-nocover }
+          - { python-version: "3.14", task: alt-rest }
       fail-fast: false
     runs-on: ${{ matrix.os }}
     env:
@@ -253,6 +255,7 @@ jobs:
       # The versions of pyodide-build and the Pyodide runtime may differ.
       PYODIDE_VERSION: 0.29.1
       PYODIDE_BUILD_VERSION: 0.31.1
+      # pyodide 0.29.0 (latest at time of writing) doesn't yet support 3.14
       PYTHON_VERSION: 3.13.2
     steps:
     - uses: actions/checkout@v3
@@ -316,7 +319,7 @@ jobs:
         token: ${{ secrets.GH_TOKEN }}
     - uses: ./.github/actions/install-base
       with:
-        python-version: "3.10"
+        python-version: "3.14"
     - name: Deploy package
       env:
         GH_TOKEN: ${{ secrets.GH_TOKEN }}

.github/workflows/update-deps.yml

@@ -11,10 +11,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
-      - name: Set up Python 3.10
+      - name: Set up Python 3.14
         uses: actions/setup-python@v4
         with:
-          python-version: '3.10'
+          python-version: '3.14'
       - name: Update pinned dependencies
         run: ./build.sh upgrade-requirements
       - name: Open pull request

.readthedocs.yml

@@ -14,7 +14,7 @@ formats:
 build:
    os: ubuntu-22.04
    tools:
-      python: "3.10"
+      python: "3.14"
 python:
    install:
       - requirements: requirements/tools.txt

build.sh

@@ -19,14 +19,16 @@ SCRIPTS="$ROOT/tooling/scripts"
 # shellcheck source=tooling/scripts/common.sh
 source "$SCRIPTS/common.sh"
 
+PYTHON_VERSION="3.14.2"
+
 if [ -n "${GITHUB_ACTIONS-}" ] || [ -n "${CODESPACES-}" ] || [ -n "${CLAUDECODE-}" ] ; then
     # We're on GitHub Actions, Codespaces, or Claude Code and already have a suitable Python
     PYTHON=$(command -v python3 || command -v python)
 else
     # Otherwise, we install it from scratch
     # NOTE: tooling keeps this version in sync with ci_version in tooling
-    "$SCRIPTS/ensure-python.sh" 3.10.19
-    PYTHON=$(pythonloc 3.10.19)/bin/python
+    "$SCRIPTS/ensure-python.sh" "$PYTHON_VERSION"
+    PYTHON=$(pythonloc "$PYTHON_VERSION")/bin/python
 fi
 
 TOOL_REQUIREMENTS="$ROOT/requirements/tools.txt"

hypothesis-python/RELEASE.rst

@@ -0,0 +1,3 @@
+RELEASE_TYPE: patch
+
+Update some internal type hints.

hypothesis-python/src/hypothesis/database.py

@@ -76,7 +76,9 @@ def _usable_dir(path: StrPathT) -> bool:
             # Loop terminates because the root dir ('/' on unix) always exists.
             path = path.parent
         return path.is_dir() and os.access(path, os.R_OK | os.W_OK | os.X_OK)
-    except PermissionError:
+    except PermissionError:  # pragma: no cover
+        # path.exists() returns False on 3.14+ instead of raising. See
+        # https://docs.python.org/3.14/library/pathlib.html#querying-file-type-and-status
         return False
 
 
@@ -132,18 +134,36 @@ def __call__(self, *args: Any, **kwargs: Any) -> "ExampleDatabase":
 # This code only runs if Sphinx has already been imported; and it would live in our
 # docs/conf.py except that we would also like it to work for anyone documenting
 # downstream ExampleDatabase subclasses too.
-if "sphinx" in sys.modules:
+#
+# We avoid type-checking this block due to this combination facts:
+# * our check-types-api CI job runs under 3.14
+# * tools.txt therefore pins to a newer version of sphinx which uses 3.12+ `type`
+#   syntax
+# * in test_mypy.py, mypy sees this block, sees sphinx is installed, tries parsing
+#   sphinx code, and errors
+#
+# Putting `and not TYPE_CHECKING` here is just a convenience for our testing setup
+# (because we don't split mypy tests by running CI version, eg), not for runtime
+#  behavior.
+if "sphinx" in sys.modules and not TYPE_CHECKING:  # pragma: no cover
     try:
         import sphinx.ext.autodoc
 
         signature = "hypothesis.database._EDMeta.__call__"
+
+        # _METACLASS_CALL_BLACKLIST moved in newer sphinx versions
+        try:
+            import sphinx.ext.autodoc._dynamic._signatures as _module
+        except ImportError:
+            _module = sphinx.ext.autodoc
+
         # _METACLASS_CALL_BLACKLIST is a frozenset in later sphinx versions
-        if isinstance(sphinx.ext.autodoc._METACLASS_CALL_BLACKLIST, frozenset):
-            sphinx.ext.autodoc._METACLASS_CALL_BLACKLIST = (
-                sphinx.ext.autodoc._METACLASS_CALL_BLACKLIST | {signature}
-            )
+        if isinstance(_module._METACLASS_CALL_BLACKLIST, frozenset):
+            _module._METACLASS_CALL_BLACKLIST = _module._METACLASS_CALL_BLACKLIST | {
+                signature
+            }
         else:
-            sphinx.ext.autodoc._METACLASS_CALL_BLACKLIST.append(signature)
+            _module._METACLASS_CALL_BLACKLIST.append(signature)
     except Exception:
         pass
 

hypothesis-python/src/hypothesis/entry_points.py

@@ -17,23 +17,15 @@
 
 import importlib.metadata
 import os
-from collections.abc import Generator, Sequence
-from importlib.metadata import EntryPoint
-
-
-def get_entry_points() -> Generator[EntryPoint, None, None]:
-    try:
-        eps: Sequence[EntryPoint] = importlib.metadata.entry_points(group="hypothesis")
-    except TypeError:  # pragma: no cover
-        # Load-time selection requires Python >= 3.10.  See also
-        # https://importlib-metadata.readthedocs.io/en/latest/using.html
-        eps = importlib.metadata.entry_points().get("hypothesis", [])
-    yield from eps
 
 
 def run() -> None:
-    if not os.environ.get("HYPOTHESIS_NO_PLUGINS"):
-        for entry in get_entry_points():  # pragma: no cover
-            hook = entry.load()
-            if callable(hook):
-                hook()
+    if os.environ.get("HYPOTHESIS_NO_PLUGINS"):
+        return
+
+    for entry in importlib.metadata.entry_points(
+        group="hypothesis"
+    ):  # pragma: no cover
+        hook = entry.load()
+        if callable(hook):
+            hook()

hypothesis-python/src/hypothesis/extra/_array_helpers.py

@@ -134,7 +134,8 @@ def valid_tuple_axes(
     min_size: int = 0,
     max_size: int | None = None,
 ) -> st.SearchStrategy[tuple[int, ...]]:
-    """All tuples will have a length >= ``min_size`` and <= ``max_size``. The default
+    """
+    All tuples will have a length >= ``min_size`` and <= ``max_size``. The default
     value for ``max_size`` is ``ndim``.
 
     Examples from this strategy shrink towards an empty tuple, which render most
@@ -153,7 +154,6 @@ def valid_tuple_axes(
     .. code-block:: python
 
       any_axis_strategy = none() | integers(-ndim, ndim - 1) | valid_tuple_axes(ndim)
-
     """
     check_type(int, ndim, "ndim")
     check_type(int, min_size, "min_size")
@@ -364,7 +364,8 @@ def mutually_broadcastable_shapes(
     min_side: int = 1,
     max_side: int | None = None,
 ) -> st.SearchStrategy[BroadcastableShapes]:
-    """Return a strategy for a specified number of shapes N that are
+    """
+    Return a strategy for a specified number of shapes N that are
     mutually-broadcastable with one another and with the provided base shape.
 
     * ``num_shapes`` is the number of mutually broadcast-compatible shapes to generate.
@@ -397,7 +398,6 @@ def mutually_broadcastable_shapes(
         BroadcastableShapes(input_shapes=((), (), ()), result_shape=())
         BroadcastableShapes(input_shapes=((3,), (), (3,)), result_shape=(3,))
         BroadcastableShapes(input_shapes=((1, 2, 3), (3,), ()), result_shape=(1, 2, 3))
-
     """
     arg_msg = "Pass either the `num_shapes` or the `signature` argument, but not both."
     if num_shapes is not not_set:

hypothesis-python/src/hypothesis/internal/compat.py

@@ -27,10 +27,10 @@
     get_args,
 )
 
-try:
-    BaseExceptionGroup = BaseExceptionGroup
-    ExceptionGroup = ExceptionGroup  # pragma: no cover
-except NameError:
+if sys.version_info >= (3, 11):
+    BaseExceptionGroup = BaseExceptionGroup  # noqa: F821
+    ExceptionGroup = ExceptionGroup  # noqa: F821
+else:  # pragma: no cover
     from exceptiongroup import (
         BaseExceptionGroup as BaseExceptionGroup,
         ExceptionGroup as ExceptionGroup,
@@ -47,7 +47,7 @@
     # In order to use NotRequired, we need the version of TypedDict included in Python 3.11+.
     if sys.version_info[:2] >= (3, 11):
         from typing import NotRequired as NotRequired, TypedDict as TypedDict
-    else:
+    else:  # pragma: no cover
         try:
             from typing_extensions import (
                 NotRequired as NotRequired,
@@ -65,7 +65,7 @@ def __class_getitem__(cls, item):
         from typing import (
             override as override,
         )
-    except ImportError:
+    except ImportError:  # pragma: no cover
         try:
             from typing_extensions import (
                 override as override,
@@ -83,7 +83,7 @@ def __class_getitem__(cls, item):
 def add_note(exc, note):
     try:
         exc.add_note(note)
-    except AttributeError:
+    except AttributeError:  # pragma: no cover
         if not hasattr(exc, "__notes__"):
             try:
                 exc.__notes__ = []
@@ -251,6 +251,31 @@ def bad_django_TestCase(runner: Optional["ConjectureRunner"]) -> bool:
 # see issue #3812
 if sys.version_info[:2] < (3, 12):
 
+    def _asdict_inner(obj, dict_factory):
+        if dataclasses._is_dataclass_instance(obj):
+            return dict_factory(
+                (f.name, _asdict_inner(getattr(obj, f.name), dict_factory))
+                for f in dataclasses.fields(obj)
+            )
+        elif isinstance(obj, tuple) and hasattr(obj, "_fields"):
+            return type(obj)(*[_asdict_inner(v, dict_factory) for v in obj])
+        elif isinstance(obj, (list, tuple)):
+            return type(obj)(_asdict_inner(v, dict_factory) for v in obj)
+        elif isinstance(obj, dict):
+            if hasattr(type(obj), "default_factory"):
+                result = type(obj)(obj.default_factory)
+                for k, v in obj.items():
+                    result[_asdict_inner(k, dict_factory)] = _asdict_inner(
+                        v, dict_factory
+                    )
+                return result
+            return type(obj)(
+                (_asdict_inner(k, dict_factory), _asdict_inner(v, dict_factory))
+                for k, v in obj.items()
+            )
+        else:
+            return copy.deepcopy(obj)
+
     def dataclass_asdict(obj, *, dict_factory=dict):
         """
         A vendored variant of dataclasses.asdict. Includes the bugfix for
@@ -267,30 +292,6 @@ def dataclass_asdict(obj, *, dict_factory=dict):
     dataclass_asdict = dataclasses.asdict
 
 
-def _asdict_inner(obj, dict_factory):
-    if dataclasses._is_dataclass_instance(obj):
-        return dict_factory(
-            (f.name, _asdict_inner(getattr(obj, f.name), dict_factory))
-            for f in dataclasses.fields(obj)
-        )
-    elif isinstance(obj, tuple) and hasattr(obj, "_fields"):
-        return type(obj)(*[_asdict_inner(v, dict_factory) for v in obj])
-    elif isinstance(obj, (list, tuple)):
-        return type(obj)(_asdict_inner(v, dict_factory) for v in obj)
-    elif isinstance(obj, dict):
-        if hasattr(type(obj), "default_factory"):
-            result = type(obj)(obj.default_factory)
-            for k, v in obj.items():
-                result[_asdict_inner(k, dict_factory)] = _asdict_inner(v, dict_factory)
-            return result
-        return type(obj)(
-            (_asdict_inner(k, dict_factory), _asdict_inner(v, dict_factory))
-            for k, v in obj.items()
-        )
-    else:
-        return copy.deepcopy(obj)
-
-
 if sys.version_info[:2] < (3, 13):
     # batched was added in 3.12, strict flag in 3.13
     # copied from 3.13 docs reference implementation

hypothesis-python/src/hypothesis/internal/conjecture/provider_conformance.py

@@ -44,7 +44,8 @@ def build_intervals(intervals: list[int]) -> list[tuple[int, int]]:
     if len(intervals) % 2:
         intervals = intervals[:-1]
     intervals.sort()
-    return list(batched(intervals, 2, strict=True))
+    # help mypy infer tuple[int, ...] -> tuple[int, int]
+    return list(batched(intervals, 2, strict=True))  # type: ignore
 
 
 def interval_lists(