fix inference

python · Jan 9, 2017 · a91c0a1 · a91c0a1
1 parent 48bbe83
commit a91c0a1
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
@@ -248,6 +248,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
@@ -2471,3 +2471,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]
+