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

* chore(deps): bump https://github.com/pre-commit/mirrors-mypy

Bumps [https://github.com/pre-commit/mirrors-mypy](https://github.com/pre-commit/mirrors-mypy) from v2.1.0 to 2.3.0.
- [Commits](pre-commit/mirrors-mypy@v2.1.0...v2.3.0)

---
updated-dependencies:
- dependency-name: https://github.com/pre-commit/mirrors-mypy
  dependency-version: 2.3.0
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: mdevolde <martin.devolder2@gmail.com>

* refactor(server): fix mypy [misc] warning

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: mdevolde <martin.devolder2@gmail.com>

Author: dependabot[bot]

.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 @@ def _terminate_server(self) -> None:
             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