Improved callback test by checking both against concrete implementati…

…on and anonymous `Callable`
python · randolf-scholz · Jul 15, 2025 · Jul 16, 2025 · Jul 17, 2025 · Jul 17, 2025
commit c5d34c9a9a0f23e2e09b812846f0d0c5bd5e666a
diff --git a/test-data/unit/check-python310.test b/test-data/unit/check-python310.test
@@ -1091,15 +1091,23 @@ from typing_extensions import Protocol, runtime_checkable
 class FnProto(Protocol):
     def __call__(self, x: int, /) -> object: ...
 
+class FnImpl:
+    def __call__(self, x: object, /) -> int: ...
+
 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:
+def test_impl(x: FnImpl) -> None:
     match x:
         case FnProto() as fn:
-            reveal_type(fn)  # N: Revealed type is "def (builtins.int) -> builtins.int"
+            reveal_type(fn)  # N: Revealed type is "__main__.FnImpl"
+
+def test_callable(x: Callable[[object], int]) -> None:
+    match x:
+        case FnProto() as fn:
+            reveal_type(fn)  # N: Revealed type is "def (builtins.object) -> builtins.int"
 
 [builtins fixtures/dict.pyi]
 
@@ -1111,15 +1119,23 @@ from typing_extensions import Protocol, runtime_checkable
 class AnyCallable(Protocol):
     def __call__(self, *args: Any, **kwargs: Any) -> Any: ...
 
+class FnImpl:
+    def __call__(self, x: object, /) -> int: ...
+
 def test_object(x: object) -> None:
     match x:
         case AnyCallable() as fn:
             reveal_type(fn)  # N: Revealed type is "__main__.AnyCallable"
 
-def test_impl(x: Callable[[int], int]) -> None:
+def test_impl(x: FnImpl) -> None:
     match x:
         case AnyCallable() as fn:
-            reveal_type(fn)  # N: Revealed type is "def (builtins.int) -> builtins.int"
+            reveal_type(fn)  # N: Revealed type is "__main__.FnImpl"
+
+def test_callable(x: Callable[[object], int]) -> None:
+    match x:
+        case AnyCallable() as fn:
+            reveal_type(fn)  # N: Revealed type is "def (builtins.object) -> builtins.int"
 
 [builtins fixtures/dict.pyi]