Fix type of Call.

artiq/py2llvm/typing.py

@@ -788,6 +788,9 @@ class Inferencer(algorithm.Visitor):
                 self.engine.process(diag)
                 return
 
+        self._unify(node.type, typ.ret,
+                    node.loc, None)
+
     def visit_LambdaT(self, node):
         self.generic_visit(node)
         signature_type = self._type_from_arguments(node.args, node.body.type)

lit-test/py2llvm/typing/gcd.py

@@ -9,4 +9,5 @@ def _gcd(a, b):
         b = c
     return b
 
+# CHECK-L: _gcd:(a:int(width='a), b:int(width='a))->int(width='a)(10:int(width='a), 25:int(width='a)):int(width='a)
 _gcd(10, 25)