Make tests more specific using the a() hack.

Author: Guido van Rossum

mypy/test/data/check-inference.test

@@ -1643,56 +1643,56 @@ a2.foo2()
 [case testUnificationEmptyListLeft]
 def f(): pass
 a = [] if f() else [0]
-a.append(0)
+a() # E: List[int] not callable
 [builtins fixtures/list.py]
 
 [case testUnificationEmptyListRight]
 def f(): pass
 a = [0] if f() else []
-a.append(0)
+a() # E: List[int] not callable
 [builtins fixtures/list.py]
 
 [case testUnificationEmptyListLeftInContext]
 from typing import List
 def f(): pass
 a = [] if f() else [0] # type: List[int]
-a.append(0)
+a() # E: List[int] not callable
 [builtins fixtures/list.py]
 
 [case testUnificationEmptyListRightInContext]
 # TODO Find an example that really needs the context
 from typing import List
 def f(): pass
 a = [0] if f() else [] # type: List[int]
-a.append(0)
+a() # E: List[int] not callable
 [builtins fixtures/list.py]
 
 [case testUnificationEmptySetLeft]
 def f(): pass
 a = set() if f() else {0}
-a.add(0)
+a() # E: Set[int] not callable
 [builtins fixtures/set.py]
 
 [case testUnificationEmptyDictLeft]
 def f(): pass
 a = {} if f() else {0: 0}
-a.update({0: 0})
+a() # E: Dict[int, int] not callable
 [builtins fixtures/dict.py]
 
 [case testUnificationEmptyDictRight]
 def f(): pass
 a = {0: 0} if f() else {}
-a.update({0: 0})
+a() # E: Dict[int, int] not callable
 [builtins fixtures/dict.py]
 
 [case testUnificationDictWithEmptyListLeft]
 def f(): pass
 a = {0: []} if f() else {0: [0]}
-a.update({0: [0]})
+a() # E: Dict[int, List[int]] not callable
 [builtins fixtures/dict.py]
 
 [case testUnificationDictWithEmptyListRight]
 def f(): pass
 a = {0: [0]} if f() else {0: []}
-a.update({0: [0]})
+a() # E: Dict[int, List[int]] not callable
 [builtins fixtures/dict.py]