Add pyrefly type checking

pyproject.toml

@@ -55,6 +55,7 @@ tests-random = [
 ]
 typing = [
     "mypy",
+    "pyrefly>=1.2.0",
     "pyright",
     "pytest",
 ]
@@ -196,6 +197,7 @@ dependency_groups = ["typing"]
 commands = [
     ["mypy"],
     ["pyright", "--ignoreexternal", "--verifytypes", "click"],
+    ["pyrefly", "check"],
 ]
 
 [tool.tox.env.docs]
@@ -229,3 +231,17 @@ dependency_groups = []
 no_default_groups = true
 skip_install = true
 commands = [["uv", "lock", {replace = "posargs", default = ["-U"], extend = true}]]
+
+[tool.pyrefly]
+project-includes = [
+    "src",
+    "tests/typing",
+]
+# Windows-only module (guarded by `assert sys.platform == "win32"`); mypy and
+# pyright both skip it as unreachable on other platforms, but pyrefly does
+# not, so it is excluded here to avoid noise from missing Windows stubs.
+project-excludes = [
+    "src/click/_winconsole.py",
+]
+python-version = "3.10.0"
+preset = "legacy"

src/click/termui.py

@@ -779,7 +779,7 @@ def unstyle(text: str) -> str:
 
 def secho(
     message: t.Any | None = None,
-    file: t.IO[t.AnyStr] | None = None,
+    file: t.IO[t.Any] | None = None,
     nl: bool = True,
     err: bool = False,
     color: bool | None = None,

src/click/testing.py

@@ -22,6 +22,11 @@
 
     from .core import Command
 
+    if sys.version_info >= (3, 13):
+        from typing import TypeIs
+    else:
+        from typing_extensions import TypeIs
+
 if sys.platform == "win32":
     CaptureMode: t.TypeAlias = t.Literal["sys"]  # pyright: ignore[reportRedeclaration]
 else:
@@ -208,12 +213,16 @@ def mode(self) -> str:
         return self._mode
 
 
+def _has_read(x: object) -> TypeIs[t.IO[t.Any]]:
+    return hasattr(x, "read")
+
+
 def make_input_stream(
     input: str | bytes | t.IO[t.Any] | None, charset: str
 ) -> t.BinaryIO:
     # Is already an input stream.
-    if hasattr(input, "read"):
-        rv = _find_binary_reader(t.cast("t.IO[t.Any]", input))
+    if _has_read(input):
+        rv = _find_binary_reader(input)
 
         if rv is not None:
             return rv

src/click/types.py

@@ -730,6 +730,7 @@ def __repr__(self) -> str:
         return "INT"
 
 
+# pyrefly: ignore [invalid-inheritance]  # https://github.com/facebook/pyrefly/issues/4842
 class IntRange(_NumberRangeBase[int, int], IntParamType):
     """Restrict an :data:`click.INT` value to a range of accepted
     values. See :ref:`ranges`.
@@ -762,6 +763,7 @@ def __repr__(self) -> str:
         return "FLOAT"
 
 
+# pyrefly: ignore [invalid-inheritance]  # https://github.com/facebook/pyrefly/issues/4842
 class FloatRange(_NumberRangeBase[float, float], FloatParamType):
     """Restrict a :data:`click.FLOAT` value to a range of accepted
     values. See :ref:`ranges`.

src/click/utils.py

@@ -203,7 +203,7 @@ def __exit__(
     ) -> None:
         self.close_intelligently()
 
-    def __iter__(self) -> cabc.Iterator[t.AnyStr]:
+    def __iter__(self) -> cabc.Iterator[t.Any]:
         self.open()
         return iter(self._f)  # type: ignore
 
@@ -245,7 +245,7 @@ def __exit__(
     def __repr__(self) -> str:
         return repr(self._file)
 
-    def __iter__(self) -> cabc.Iterator[t.AnyStr]:
+    def __iter__(self) -> cabc.Iterator[t.Any]:
         return iter(self._file)