fix

Author: hauntsaninja

mypy/subtypes.py

@@ -467,6 +467,14 @@ def visit_instance(self, left: Instance) -> bool:
                 if mapped.type.fullname == right.partial_fallback.type.fullname:
                     if all(isinstance(get_proper_type(a), AnyType) for a in mapped.args):
                         return not self.proper_subtype
+                if mapped.type.tuple_type:
+                    expanded = expand_type_by_instance(mapped.type.tuple_type, mapped)
+                    assert isinstance(expanded, TupleType)
+                    if self._is_subtype(
+                        expanded,
+                        right.copy_modified(fallback=expanded.partial_fallback)
+                    ):
+                        return not self.proper_subtype
             return False
         if isinstance(right, TypeVarTupleType):
             # tuple[Any, ...] is like Any in the world of tuples (see special case above).

test-data/unit/check-tuples.test

@@ -1444,8 +1444,7 @@ T = TypeVar('T')
 def foo(o: CallableTuple[int]) -> int:
     reveal_type(o)  # N: Revealed type is "Tuple[builtins.str, builtins.int, fallback=__main__.CallableTuple[builtins.int]]"
     reveal_type(o.count(3))  # N: Revealed type is "builtins.int"
-    # TODO: incorrect error below
-    return o(1, 2)  # E: Invalid self argument "CallableTuple[int]" to attribute function "__call__" with type "Callable[[CallableTuple[T], int, int], int]"
+    return o(1, 2)
 
 class CallableTuple(Tuple[str, T]):
     def __call__(self, n: int, m: int) -> int: