Fix type inference for self-recursive functions

lib/compiler/implementation/js_backend/backend.dart

Index: lib/compiler/implementation/js_backend/backend.dart
diff --git a/lib/compiler/implementation/js_backend/backend.dart b/lib/compiler/implementation/js_backend/backend.dart
index 3984bc0de12611a125c84003c06dbdb63b1f8810..6604190b0e2e559155a03a9500974c7e790126bc 100644
--- a/lib/compiler/implementation/js_backend/backend.dart
+++ b/lib/compiler/implementation/js_backend/backend.dart
@@ -31,6 +31,8 @@ class JavaScriptBackend extends Backend {
 
   final Map<SourceString, Map<Selector, InvocationInfo>> invocationInfo;
 
+  final List<Element> invalidateAfterCodegen;
+
   List<CompilerTask> get tasks() {
     return <CompilerTask>[builder, optimizer, generator, emitter];
   }
@@ -41,6 +43,7 @@ class JavaScriptBackend extends Backend {
         fieldConstructorSetters = new Map<Element, Map<Element, HType>>(),
         fieldSettersType = new Map<Element, Map<Element, HType>>(),
         invocationInfo = new Map<SourceString, Map<Selector, InvocationInfo>>(),
+        invalidateAfterCodegen = new List<Element>(),
         super(compiler) {
     builder = new SsaBuilderTask(this);
     optimizer = new SsaOptimizerTask(this);
@@ -58,7 +61,7 @@ class JavaScriptBackend extends Backend {
     }
   }
 
-  CodeBuffer codegen(WorkItem work) {
+  void codegen(WorkItem work) {
     HGraph graph = builder.build(work);
     optimizer.optimize(work, graph);
     if (work.allowSpeculativeOptimization
@@ -68,7 +71,13 @@ class JavaScriptBackend extends Backend {
       optimizer.prepareForSpeculativeOptimizations(work, graph);
       optimizer.optimize(work, graph);
     }
-    return generator.generateMethod(work, graph);
+    CodeBuffer codeBuffer = generator.generateMethod(work, graph);
+    compiler.codegenWorld.addGeneratedCode(work, codeBuffer);
+    invalidateAfterCodegen.forEach((Element element) {
+      compiler.codegenWorld.invalidateCode(element);
+      compiler.enqueuer.codegen.eagerRecompile(element);
+    });
+    invalidateAfterCodegen.clear();
   }
 
   void processNativeClasses(Enqueuer world,
@@ -209,8 +218,7 @@ class JavaScriptBackend extends Backend {
       // have been compiled under the now invalidated assumptions.
       if (typesChanged && info.compiledFunctions.length != 0) {
         if (compiler.phase == Compiler.PHASE_COMPILING) {
-          info.compiledFunctions.forEach(
-              compiler.enqueuer.codegen.eagerRecompile);
+          info.compiledFunctions.forEach(invalidateAfterCodegen.add);
           info.compiledFunctions.clear();
         }
       }