Officially drop support for Python 3.9

.github/workflows/daily.yml

@@ -35,7 +35,7 @@ jobs:
     strategy:
       matrix:
         os: ["ubuntu-latest", "windows-latest", "macos-latest"]
-        python-version: ["3.9", "3.10", "3.11", "3.12", "3.13", "3.14"]
+        python-version: ["3.10", "3.11", "3.12", "3.13", "3.14"]
       fail-fast: false
 
     steps:

.github/workflows/meta_tests.yml

@@ -65,7 +65,7 @@ jobs:
         with:
           version: PATH
           python-platform: ${{ matrix.python-platform }}
-          python-version: "3.9" # Oldest version supported for running scripts and tests
+          python-version: "3.10" # Oldest version supported for running scripts and tests
           project: ./pyrightconfig.scripts_and_tests.json
   stubsabot-dry-run:
     name: Stubsabot dry run

.github/workflows/stubtest_stdlib.yml

@@ -31,7 +31,7 @@ jobs:
     strategy:
       matrix:
         os: ["ubuntu-latest", "windows-latest", "macos-latest"]
-        python-version: ["3.9", "3.10", "3.11", "3.12", "3.13", "3.14"]
+        python-version: ["3.10", "3.11", "3.12", "3.13", "3.14"]
       fail-fast: false
 
     steps:

.github/workflows/tests.yml

@@ -42,7 +42,7 @@ jobs:
     strategy:
       matrix:
         platform: ["linux", "win32", "darwin"]
-        python-version: ["3.9", "3.10", "3.11", "3.12", "3.13", "3.14"]
+        python-version: ["3.10", "3.11", "3.12", "3.13", "3.14"]
       fail-fast: false
     steps:
       - uses: actions/checkout@v6
@@ -84,7 +84,7 @@ jobs:
     strategy:
       matrix:
         python-platform: ["Linux", "Windows", "Darwin"]
-        python-version: ["3.9", "3.10", "3.11", "3.12", "3.13", "3.14"]
+        python-version: ["3.10", "3.11", "3.12", "3.13", "3.14"]
       fail-fast: false
     steps:
       - uses: actions/checkout@v6

lib/ts_utils/metadata.py

@@ -13,8 +13,7 @@
 from collections.abc import Mapping
 from dataclasses import dataclass
 from pathlib import Path
-from typing import Annotated, Any, Final, NamedTuple, final
-from typing_extensions import TypeGuard
+from typing import Annotated, Any, Final, NamedTuple, TypeGuard, final
 
 if sys.version_info >= (3, 11):
     import tomllib

lib/ts_utils/utils.py

@@ -9,8 +9,7 @@
 from collections.abc import Iterable, Mapping
 from pathlib import Path
 from types import MethodType
-from typing import TYPE_CHECKING, Any, Final, NamedTuple
-from typing_extensions import TypeAlias
+from typing import TYPE_CHECKING, Any, Final, NamedTuple, TypeAlias
 
 import pathspec
 from packaging.requirements import Requirement

pyproject.toml

@@ -3,7 +3,7 @@
 # https://github.com/astral-sh/uv/issues/8666
 name = "typeshed"
 version = "0"
-requires-python = ">=3.9" # Minimum version to run tests, used by uv run
+requires-python = ">=3.10" # Minimum version to run tests, used by uv run
 
 [tool.black]
 line-length = 130
@@ -13,7 +13,7 @@ skip-magic-trailing-comma = true
 [tool.ruff]
 line-length = 130
 # Oldest supported Python version
-target-version = "py39"
+target-version = "py310"
 fix = true
 exclude = [
     # virtual environment
@@ -108,7 +108,7 @@ select = [
     "PYI044", # `from __future__ import annotations` has no effect in stub files, since type checkers automatically treat stubs as having those semantics
     "PYI055", # Multiple `type[T]` usages in a union. Combine them into one, e.g., `type[{union_str}]`.
     "PYI058", # Use `{return_type}` as the return value for simple `{method}` methods
-    # "PYI059", # TODO: Add when dropping Python 3.9 support
+    "PYI059", # Checks for classes inheriting from typing.Generic[] where Generic[] is not the last base class in the bases tuple.
     "PYI061", # Use `None` rather than `Literal[None]`
     "PYI062", # Duplicate literal member `{}`
     "PYI064", # `Final[Literal[{literal}]]` can be replaced with a bare Final

scripts/stubsabot.py

@@ -22,8 +22,8 @@
 from dataclasses import dataclass, field
 from http import HTTPStatus
 from pathlib import Path
-from typing import Annotated, Any, ClassVar, Literal, NamedTuple, TypedDict, TypeVar
-from typing_extensions import Self, TypeAlias
+from typing import Annotated, Any, ClassVar, Literal, NamedTuple, TypeAlias, TypedDict, TypeVar
+from typing_extensions import Self
 
 if sys.version_info >= (3, 11):
     import tomllib

stdlib/__future__.pyi

@@ -1,4 +1,4 @@
-from typing_extensions import TypeAlias
+from typing import TypeAlias
 
 _VersionInfo: TypeAlias = tuple[int, int, int, str, int]
 

stdlib/_ast.pyi

@@ -122,20 +122,19 @@ if sys.version_info >= (3, 12):
 if sys.version_info >= (3, 11):
     from ast import TryStar as TryStar
 
-if sys.version_info >= (3, 10):
-    from ast import (
-        Match as Match,
-        MatchAs as MatchAs,
-        MatchClass as MatchClass,
-        MatchMapping as MatchMapping,
-        MatchOr as MatchOr,
-        MatchSequence as MatchSequence,
-        MatchSingleton as MatchSingleton,
-        MatchStar as MatchStar,
-        MatchValue as MatchValue,
-        match_case as match_case,
-        pattern as pattern,
-    )
+from ast import (
+    Match as Match,
+    MatchAs as MatchAs,
+    MatchClass as MatchClass,
+    MatchMapping as MatchMapping,
+    MatchOr as MatchOr,
+    MatchSequence as MatchSequence,
+    MatchSingleton as MatchSingleton,
+    MatchStar as MatchStar,
+    MatchValue as MatchValue,
+    match_case as match_case,
+    pattern as pattern,
+)
 
 PyCF_ALLOW_TOP_LEVEL_AWAIT: Final = 8192
 PyCF_ONLY_AST: Final = 1024

stdlib/_asyncio.pyi

@@ -3,8 +3,8 @@ from asyncio.events import AbstractEventLoop
 from collections.abc import Awaitable, Callable, Coroutine, Generator
 from contextvars import Context
 from types import FrameType, GenericAlias
-from typing import Any, Literal, TextIO, TypeVar
-from typing_extensions import Self, TypeAlias, disjoint_base
+from typing import Any, Literal, TextIO, TypeAlias, TypeVar
+from typing_extensions import Self, disjoint_base
 
 _T = TypeVar("_T")
 _T_co = TypeVar("_T_co", covariant=True)

stdlib/_bisect.pyi

@@ -1,84 +1,68 @@
-import sys
 from _typeshed import SupportsLenAndGetItem, SupportsRichComparisonT
 from collections.abc import Callable, MutableSequence
 from typing import TypeVar, overload
 
 _T = TypeVar("_T")
 
-if sys.version_info >= (3, 10):
-    @overload
-    def bisect_left(
-        a: SupportsLenAndGetItem[SupportsRichComparisonT],
-        x: SupportsRichComparisonT,
-        lo: int = 0,
-        hi: int | None = None,
-        *,
-        key: None = None,
-    ) -> int: ...
-    @overload
-    def bisect_left(
-        a: SupportsLenAndGetItem[_T],
-        x: SupportsRichComparisonT,
-        lo: int = 0,
-        hi: int | None = None,
-        *,
-        key: Callable[[_T], SupportsRichComparisonT],
-    ) -> int: ...
-    @overload
-    def bisect_right(
-        a: SupportsLenAndGetItem[SupportsRichComparisonT],
-        x: SupportsRichComparisonT,
-        lo: int = 0,
-        hi: int | None = None,
-        *,
-        key: None = None,
-    ) -> int: ...
-    @overload
-    def bisect_right(
-        a: SupportsLenAndGetItem[_T],
-        x: SupportsRichComparisonT,
-        lo: int = 0,
-        hi: int | None = None,
-        *,
-        key: Callable[[_T], SupportsRichComparisonT],
-    ) -> int: ...
-    @overload
-    def insort_left(
-        a: MutableSequence[SupportsRichComparisonT],
-        x: SupportsRichComparisonT,
-        lo: int = 0,
-        hi: int | None = None,
-        *,
-        key: None = None,
-    ) -> None: ...
-    @overload
-    def insort_left(
-        a: MutableSequence[_T], x: _T, lo: int = 0, hi: int | None = None, *, key: Callable[[_T], SupportsRichComparisonT]
-    ) -> None: ...
-    @overload
-    def insort_right(
-        a: MutableSequence[SupportsRichComparisonT],
-        x: SupportsRichComparisonT,
-        lo: int = 0,
-        hi: int | None = None,
-        *,
-        key: None = None,
-    ) -> None: ...
-    @overload
-    def insort_right(
-        a: MutableSequence[_T], x: _T, lo: int = 0, hi: int | None = None, *, key: Callable[[_T], SupportsRichComparisonT]
-    ) -> None: ...
-
-else:
-    def bisect_left(
-        a: SupportsLenAndGetItem[SupportsRichComparisonT], x: SupportsRichComparisonT, lo: int = 0, hi: int | None = None
-    ) -> int: ...
-    def bisect_right(
-        a: SupportsLenAndGetItem[SupportsRichComparisonT], x: SupportsRichComparisonT, lo: int = 0, hi: int | None = None
-    ) -> int: ...
-    def insort_left(
-        a: MutableSequence[SupportsRichComparisonT], x: SupportsRichComparisonT, lo: int = 0, hi: int | None = None
-    ) -> None: ...
-    def insort_right(
-        a: MutableSequence[SupportsRichComparisonT], x: SupportsRichComparisonT, lo: int = 0, hi: int | None = None
-    ) -> None: ...
+@overload
+def bisect_left(
+    a: SupportsLenAndGetItem[SupportsRichComparisonT],
+    x: SupportsRichComparisonT,
+    lo: int = 0,
+    hi: int | None = None,
+    *,
+    key: None = None,
+) -> int: ...
+@overload
+def bisect_left(
+    a: SupportsLenAndGetItem[_T],
+    x: SupportsRichComparisonT,
+    lo: int = 0,
+    hi: int | None = None,
+    *,
+    key: Callable[[_T], SupportsRichComparisonT],
+) -> int: ...
+@overload
+def bisect_right(
+    a: SupportsLenAndGetItem[SupportsRichComparisonT],
+    x: SupportsRichComparisonT,
+    lo: int = 0,
+    hi: int | None = None,
+    *,
+    key: None = None,
+) -> int: ...
+@overload
+def bisect_right(
+    a: SupportsLenAndGetItem[_T],
+    x: SupportsRichComparisonT,
+    lo: int = 0,
+    hi: int | None = None,
+    *,
+    key: Callable[[_T], SupportsRichComparisonT],
+) -> int: ...
+@overload
+def insort_left(
+    a: MutableSequence[SupportsRichComparisonT],
+    x: SupportsRichComparisonT,
+    lo: int = 0,
+    hi: int | None = None,
+    *,
+    key: None = None,
+) -> None: ...
+@overload
+def insort_left(
+    a: MutableSequence[_T], x: _T, lo: int = 0, hi: int | None = None, *, key: Callable[[_T], SupportsRichComparisonT]
+) -> None: ...
+@overload
+def insort_right(
+    a: MutableSequence[SupportsRichComparisonT],
+    x: SupportsRichComparisonT,
+    lo: int = 0,
+    hi: int | None = None,
+    *,
+    key: None = None,
+) -> None: ...
+@overload
+def insort_right(
+    a: MutableSequence[_T], x: _T, lo: int = 0, hi: int | None = None, *, key: Callable[[_T], SupportsRichComparisonT]
+) -> None: ...

stdlib/_codecs.pyi

@@ -2,8 +2,7 @@ import codecs
 import sys
 from _typeshed import ReadableBuffer
 from collections.abc import Callable
-from typing import Literal, final, overload, type_check_only
-from typing_extensions import TypeAlias
+from typing import Literal, TypeAlias, final, overload, type_check_only
 
 # This type is not exposed; it is defined in unicodeobject.c
 # At runtime it calls itself builtins.EncodingMap
@@ -17,10 +16,7 @@ _Handler: TypeAlias = Callable[[UnicodeError], tuple[str | bytes, int]]
 _SearchFunction: TypeAlias = Callable[[str], codecs.CodecInfo | None]
 
 def register(search_function: _SearchFunction, /) -> None: ...
-
-if sys.version_info >= (3, 10):
-    def unregister(search_function: _SearchFunction, /) -> None: ...
-
+def unregister(search_function: _SearchFunction, /) -> None: ...
 def register_error(errors: str, handler: _Handler, /) -> None: ...
 def lookup_error(name: str, /) -> _Handler: ...
 

stdlib/_collections_abc.pyi

@@ -75,16 +75,15 @@ class dict_keys(KeysView[_KT_co], Generic[_KT_co, _VT_co]):  # undocumented
     __hash__: ClassVar[None]  # type: ignore[assignment]
     if sys.version_info >= (3, 13):
         def isdisjoint(self, other: Iterable[_KT_co], /) -> bool: ...
-    if sys.version_info >= (3, 10):
-        @property
-        def mapping(self) -> MappingProxyType[_KT_co, _VT_co]: ...
+
+    @property
+    def mapping(self) -> MappingProxyType[_KT_co, _VT_co]: ...
 
 @final
 class dict_values(ValuesView[_VT_co], Generic[_KT_co, _VT_co]):  # undocumented
     def __reversed__(self) -> Iterator[_VT_co]: ...
-    if sys.version_info >= (3, 10):
-        @property
-        def mapping(self) -> MappingProxyType[_KT_co, _VT_co]: ...
+    @property
+    def mapping(self) -> MappingProxyType[_KT_co, _VT_co]: ...
 
 @final
 class dict_items(ItemsView[_KT_co, _VT_co]):  # undocumented
@@ -93,9 +92,9 @@ class dict_items(ItemsView[_KT_co, _VT_co]):  # undocumented
     __hash__: ClassVar[None]  # type: ignore[assignment]
     if sys.version_info >= (3, 13):
         def isdisjoint(self, other: Iterable[tuple[_KT_co, _VT_co]], /) -> bool: ...
-    if sys.version_info >= (3, 10):
-        @property
-        def mapping(self) -> MappingProxyType[_KT_co, _VT_co]: ...
+
+    @property
+    def mapping(self) -> MappingProxyType[_KT_co, _VT_co]: ...
 
 if sys.version_info >= (3, 12):
     @runtime_checkable