fix inference

python · Feb 6, 2017 · 7876d3f · 7876d3f
1 parent 4c70367
commit 7876d3f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/mypy/constraints.py b/mypy/constraints.py
@@ -294,6 +294,8 @@ def visit_type_var(self, template: TypeVarType) -> List[Constraint]:
     def visit_instance(self, template: Instance) -> List[Constraint]:
         actual = self.actual
         res = []  # type: List[Constraint]
+        if isinstance(actual, CallableType) and actual.fallback is not None:
+            actual = actual.fallback
         if isinstance(actual, Instance):
             instance = actual
             if (self.direction == SUBTYPE_OF and

diff --git a/test-data/unit/check-classes.test b/test-data/unit/check-classes.test
@@ -2802,3 +2802,7 @@ class GoodMeta(type, Iterable[int]):
 
 class Good(metaclass=GoodMeta): pass
 for _ in Good: pass
+reveal_type(list(Good))  # E: Revealed type is 'builtins.list[builtins.int*]'
+
+[builtins fixtures/list.pyi]
+