Update ty to 0.0.83 (#16470)

Co-authored-by: Sebastian Rittau <sebastian.rittau@zfutura.de>

Author: AlexWaygood

requirements-tests.txt

@@ -3,7 +3,7 @@
 mypy==2.3.1
 pyrefly==1.3.1
 pyright==1.1.414
-ty==0.0.59
+ty==0.0.83
 
 # Libraries used by our various scripts.
 aiohttp==3.14.3

stdlib/_typeshed/__init__.pyi

@@ -170,7 +170,7 @@ class SupportsTrunc(Protocol):
 
 # The second and third overload could technically be combined, but splitting
 # them works better with some type checkers.
-class SupportsGet(Protocol[_KT_contra, _VT_co]):  # type: ignore[misc] # Covariant type as parameter
+class SupportsGet(Protocol[_KT_contra, _VT_co]):  # type: ignore[misc]  # ty:ignore[invalid-protocol]  # Covariant type as parameter
     @overload
     def get(self, key: _KT_contra, /) -> _VT_co | None: ...
     @overload
@@ -189,7 +189,7 @@ class SupportsKeysAndGetItem(Protocol[_KT, _VT_co]):
     def keys(self) -> Iterable[_KT]: ...
     def __getitem__(self, key: _KT, /) -> _VT_co: ...
 
-class SupportsKeysAndGet(Protocol[_KT, _VT_co]):  # type: ignore[misc] # Covariant type as parameter
+class SupportsKeysAndGet(Protocol[_KT, _VT_co]):  # type: ignore[misc]  # ty:ignore[invalid-protocol]  # Covariant type as parameter
     def keys(self) -> Iterable[_KT]: ...
 
     @overload

stdlib/pathlib/__init__.pyi

@@ -1,5 +1,4 @@
 import sys
-import types
 from _typeshed import (
     OpenBinaryMode,
     OpenBinaryModeReading,
@@ -14,7 +13,7 @@ from _typeshed import (
 from collections.abc import Callable, Generator, Iterator, Sequence
 from io import BufferedRandom, BufferedReader, BufferedWriter, FileIO, TextIOWrapper
 from os import PathLike, stat_result
-from types import GenericAlias, TracebackType
+from types import GenericAlias, ModuleType, TracebackType
 from typing import IO, Any, BinaryIO, ClassVar, Literal, TypeVar, overload
 from typing_extensions import Never, Self, deprecated
 
@@ -56,7 +55,7 @@ class PurePath(PathLike[str]):
         else:
             __slots__ = ("_drv", "_root", "_parts", "_str", "_hash", "_pparts", "_cached_cparts")
     if sys.version_info >= (3, 13):
-        parser: ClassVar[types.ModuleType]
+        parser: ClassVar[ModuleType]
         def full_match(self, pattern: StrPath, *, case_sensitive: bool | None = None) -> bool: ...
 
     @property

tests/ty_test.py

@@ -5,7 +5,6 @@
 
 import argparse
 import subprocess
-import tempfile
 from pathlib import Path
 
 from ts_utils.paths import STDLIB_PATH, STUBS_PATH, TS_BASE_PATH
@@ -50,9 +49,16 @@ def main() -> int:
     if not files:
         print("No stubs to check with ty.", flush=True)
         return 0
+    # Per-file overrides need typeshed as the project root. Exclude it from module
+    # search roots so ty resolves `builtins.pyi` as part of the custom typeshed,
+    # rather than as a project source.
     command = [
         "ty",
         "check",
+        "--project",
+        str(TS_BASE_PATH),
+        "--config",
+        "environment.root = []",
         "--config-file",
         str(TS_BASE_PATH / "ty.toml"),
         "--typeshed",
@@ -74,11 +80,7 @@ def main() -> int:
     command.extend(map(str, files))
 
     print(f"Checking {len(files)} stubs with ty ({args.python_version}, {args.platform})...", flush=True)
-    # The custom typeshed cannot also be the project root: ty would treat builtins.pyi
-    # as project source and panic while constructing its builtins model.
-    with tempfile.TemporaryDirectory() as project:
-        command[2:2] = ("--project", project)
-        return subprocess.run(command, check=False).returncode
+    return subprocess.run(command, check=False).returncode
 
 
 if __name__ == "__main__":

ty.toml

@@ -18,3 +18,37 @@ deprecated = "ignore"
 invalid-attribute-override = "ignore"
 invalid-method-override = "ignore"
 override-of-final-method = "ignore"
+# Some `__init__` self annotations retain class-scoped type variables for mypy
+# compatibility (https://github.com/python/typeshed/pull/11780). Disable ty's
+# check; Pyright checks the stubs it covers, with targeted ignores where needed.
+invalid-init-type-variable = "ignore"
+
+# Several existing annotations conflict with ty's variance checks.
+# Ignore these errors temporarily in the affected files until they can be
+# handled individually.
+[[overrides]]
+include = [
+    "stdlib/_collections_abc.pyi",
+    "stdlib/builtins.pyi",
+    "stdlib/email/_policybase.pyi",
+    "stdlib/email/message.pyi",
+    "stdlib/functools.pyi",
+    "stdlib/mailbox.pyi",
+    "stdlib/types.pyi",
+    "stdlib/typing.pyi",
+    "stubs/WebOb/webob/dec.pyi",
+    "stubs/boltons/boltons/tbutils.pyi",
+    "stubs/psycopg2/psycopg2/_range.pyi",
+    "stubs/tensorflow/tensorflow/data/__init__.pyi",
+]
+
+[overrides.rules]
+invalid-generic-class = "ignore"
+
+# `types.pyi` already has an inline `invalid-generic-class` ignore; suppress
+# `unused-ignore-comment` while the rule is ignored for the whole file.
+[[overrides]]
+include = ["stdlib/types.pyi"]
+
+[overrides.rules]
+unused-ignore-comment = "ignore"