Fix type inference for self-recursive functions

tests/compiler/dart2js_extra/regress/4492_test.dart

Index: tests/compiler/dart2js_extra/regress/4492_test.dart
diff --git a/tests/compiler/dart2js_extra/named_parameter_test.dart b/tests/compiler/dart2js_extra/regress/4492_test.dart
similarity index 55%
copy from tests/compiler/dart2js_extra/named_parameter_test.dart
copy to tests/compiler/dart2js_extra/regress/4492_test.dart
index 3e2da8b8e302dd90129603ee152c04d3e9e45e7c..ba33718de84b42b929c917eb9568cab7bd2d725e 100644
--- a/tests/compiler/dart2js_extra/named_parameter_test.dart
+++ b/tests/compiler/dart2js_extra/regress/4492_test.dart
@@ -3,14 +3,12 @@
 // BSD-style license that can be found in the LICENSE file.
 
 class A {
-  foo([a, b]) {
-    Expect.equals(0, a);
-    Expect.equals(1, b);
+  x(p1, p2) {
+    print(p1 * p2);
+    if (p1 * p2 == 12) return;
+    x("3", "4");
   }
 }
 
-main() {
-  A a = new A();
-  a.foo(a: 0, b: 1);
-  a.foo(b: 1, a: 0);
-}
+main() => Expect.throws(() => new A().x(1, 2),
+                        (e) => e is NoSuchMethodException);