cleanups

ecprice · ecprice · commit ba7af85af20f · 2016-06-23T15:39:40.000-07:00
diff --git a/mypy/checker.py b/mypy/checker.py
@@ -741,7 +741,7 @@ def is_implicit_any(t: Type) -> bool:
                         self.accept(init)
 
             # Type check body in a new scope.
-            with self.binder.frame_context(1):
+            with self.binder.frame_context():
                 self.accept(item.body)
 
             self.return_types.pop()
diff --git a/test-data/unit/check-isinstance.test b/test-data/unit/check-isinstance.test
@@ -578,6 +578,14 @@ def foo() -> None:
         return
     y = x + 'asdad'
 
+def bar() -> None:
+    x = 1 # type: Union[int, str]
+    if isinstance(x, int):
+        return
+    else:
+        pass
+    y = x + 'asdad'
+
 foo()
 [builtins fixtures/isinstancelist.py]
 [case testIsInstanceBadBreak]
