chore(deps): bump https://github.com/pre-commit/mirrors-mypy from v2.1.0 to 2.3.0

.pre-commit-config.yaml

@@ -11,7 +11,7 @@ repos:
 
   # mypy for type checking
   - repo: https://github.com/pre-commit/mirrors-mypy
-    rev: v2.1.0 # Keep in sync mypy version with pyproject.toml
+    rev: v2.3.0 # Keep in sync mypy version with pyproject.toml
     hooks:
       - id: mypy
         args: [--config-file=pyproject.toml]

pyproject.toml

@@ -61,7 +61,7 @@ types = [
 
 quality = [
     # Keep in sync mypy version with .pre-commit-config.yaml
-    "mypy==2.1.0",
+    "mypy==2.3.0",
     # Keep in sync ruff version with .pre-commit-config.yaml
     "ruff==0.15.22",
     # Keep in sync zizmor version with .pre-commit-config.yaml

src/language_tool_python/server.py

@@ -15,7 +15,7 @@
 import time
 import urllib.parse
 import warnings
-from typing import TYPE_CHECKING, ClassVar, Literal
+from typing import TYPE_CHECKING, ClassVar, Literal, cast
 
 import psutil
 import requests
@@ -54,6 +54,7 @@
     from collections.abc import Mapping
     from pathlib import Path
     from types import TracebackType
+    from typing import IO
 
     from .config_file import ConfigValue
 
@@ -1236,8 +1237,11 @@
             with contextlib.suppress(ValueError):
                 _RUNNING_SERVER_PROCESSES.remove(self._server)
 
-            if self._server.stdin:
-                self._server.stdin.close()
+            # stdin is IO[Any], so cast it back to the
+            # text stream that text=True actually gives us
+            stdin = cast("IO[str] | None", self._server.stdin)
+            if stdin:
+                stdin.close()
 
             # Release the server process object
             self._server = None