More type inference fixes.

Cython/Compiler/ExprNodes.py

@@ -3253,6 +3253,11 @@ class CallNode(ExprNode):
                         return result_type
         return py_object_type
 
+    def type_dependencies(self, env):
+        # TODO: Update when Danilo's C++ code merged in to handle the
+        # the case of function overloading.
+        return self.function.type_dependencies(env)
+
     def may_be_none(self):
         if self.may_return_none is not None:
             return self.may_return_none
@@ -3325,11 +3330,6 @@ class SimpleCallNode(CallNode):
         except Exception, e:
             self.compile_time_value_error(e)
 
-    def type_dependencies(self, env):
-        # TODO: Update when Danilo's C++ code merged in to handle the
-        # the case of function overloading.
-        return self.function.type_dependencies(env)
-
     def analyse_as_type(self, env):
         attr = self.function.as_cython_attribute()
         if attr == 'pointer':

tests/run/type_inference.pyx

@@ -593,6 +593,10 @@ def with_statement_untyped():
     print(typeof(x))
     return x
 
+def self_lookup(a):
+    b = a
+    b = b.foo(keyword=None)
+    print typeof(b)
 
 # Regression test for trac #638.