Add test

python · gvanrossum · Apr 8, 2016 · Apr 8, 2016 · Apr 8, 2016 · Apr 8, 2016
commit 710dce09feea06779ace0d409cb2ed2bd9530f69
diff --git a/mypy/test/data/check-isinstance.test b/mypy/test/data/check-isinstance.test
@@ -817,3 +817,10 @@ def f(x: Union[A, B]) -> None:
     if not isinstance(x, B):
         f(x)
 [builtins fixtures/isinstance.py]
+
+[case testAssertIsinstance]
+def f(x: object):
+    assert isinstance(x, int)
+    y = 0 # type: int
+    y = x
+[builtins fixtures/isinstance.py]