Fix type inference for self-recursive functions

tests/compiler/dart2js/call_site_type_inferer_test.dart

Index: tests/compiler/dart2js/call_site_type_inferer_test.dart
diff --git a/tests/compiler/dart2js/call_site_type_inferer_test.dart b/tests/compiler/dart2js/call_site_type_inferer_test.dart
index 704cba584695580d30974f941284d8cef96b9112..eb8ff00a8c92340a1faf8196e35874d8cc159ef7 100644
--- a/tests/compiler/dart2js/call_site_type_inferer_test.dart
+++ b/tests/compiler/dart2js/call_site_type_inferer_test.dart
@@ -91,9 +91,6 @@ final String TEST_NINE = @"""
   class A {
     x(p1, p2) => x(p1, p2);
   }
-  void f(p) {
-    p.x("x", "y");
-  }
   main() {
     new A().x(1, 2);
   }
@@ -112,6 +109,15 @@ final String TEST_TEN = @"""
   }
 """;
 
+final String TEST_ELEVEN = @"""
+  class A {
+    x(p1, p2) => x(1, 2);
+  }
+  main() {
+    new A().x("x", "y");
+  }
+""";
+
 void runTest(String test, [List<HType> expectedTypes = null]) {
   compileAndFind(
     test,
@@ -137,7 +143,9 @@ void test() {
   runTest(TEST_SIX, [HType.NUMBER]);
   runTest(TEST_SEVEN);
   runTest(TEST_EIGHT, [HType.INTEGER, HType.UNKNOWN]);
+  runTest(TEST_NINE, [HType.INTEGER, HType.INTEGER]);
   runTest(TEST_TEN);
+  runTest(TEST_ELEVEN);
 }
 
 void main() {