split Callback test into two.

python · randolf-scholz · Jul 15, 2025 · Jul 16, 2025 · Jul 17, 2025 · Jul 17, 2025
commit 89f8350478aab1d48263cde1c36fdbe5de1113f9
diff --git a/test-data/unit/check-python310.test b/test-data/unit/check-python310.test
@@ -1077,7 +1077,7 @@ def test_object(x: object) -> None:
         case Callable() as fn:
             reveal_type(fn)  # N: Revealed type is "def (*Any, **Any) -> Any"
 
-def test_intfun(x: Callable[[int], int]) -> None:
+def test_impl(x: Callable[[int], int]) -> None:
     match x:
         case Callable() as fn:
             reveal_type(fn)  # N: Revealed type is "def (builtins.int) -> builtins.int"
@@ -1087,6 +1087,26 @@ def test_intfun(x: Callable[[int], int]) -> None:
 from typing import Any, Callable
 from typing_extensions import Protocol, runtime_checkable
 
+@runtime_checkable
+class FnProto(Protocol):
+    def __call__(self, x: int, /) -> object: ...
+
+def test_object(x: object) -> None:
+    match x:
+        case FnProto() as fn:
+            reveal_type(fn)  # N: Revealed type is "__main__.FnProto"
+
+def test_impl(x: Callable[[int], int]) -> None:
+    match x:
+        case FnProto() as fn:
+            reveal_type(fn)  # N: Revealed type is "def (builtins.int) -> builtins.int"
+
+[builtins fixtures/dict.pyi]
+
+[case testMatchClassPatternAnyCallableProtocol]
+from typing import Any, Callable
+from typing_extensions import Protocol, runtime_checkable
+
 @runtime_checkable
 class AnyCallable(Protocol):
     def __call__(self, *args: Any, **kwargs: Any) -> Any: ...
@@ -1096,7 +1116,7 @@ def test_object(x: object) -> None:
         case AnyCallable() as fn:
             reveal_type(fn)  # N: Revealed type is "__main__.AnyCallable"
 
-def test_intfun(x: Callable[[int], int]) -> None:
+def test_impl(x: Callable[[int], int]) -> None:
     match x:
         case AnyCallable() as fn:
             reveal_type(fn)  # N: Revealed type is "def (builtins.int) -> builtins.int"