Add test cases

JukkaL · JukkaL · commit 7334c8fc4a33 · 2015-12-31T13:22:17.000Z
diff --git a/mypy/test/data/check-inference.test b/mypy/test/data/check-inference.test
@@ -1295,3 +1295,23 @@ def f() -> None:
     x = None
     x = 1
 x()  # E: None not callable
+
+[case testAttributePartiallyInitializedToNone]
+class A:
+    def f(self) -> None:
+        self.x = None
+        self.x = 1
+        self.x() # E: "int" not callable
+[out]
+main: note: In member "f" of class "A":
+
+[case testAttributePartiallyInitializedToNoneWithMissingAnnotation]
+class A:
+    def f(self) -> None:
+        self.x = None # E: Need type annotation for variable
+
+    def g(self) -> None:
+        self.x = 1
+        self.x()
+[out]
+main: note: In member "f" of class "A":
