Fix type inference for self-recursive functions

lib/compiler/implementation/universe.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 class Universe {
   Map<Element, CodeBuffer> generatedCode;
   Map<Element, CodeBuffer> generatedBailoutCode;
   final Set<ClassElement> instantiatedClasses;
   final Set<SourceString> instantiatedClassInstanceFields;
   final Set<FunctionElement> staticFunctionsNeedingGetter;
@@ skipping 20 matching lines @@
                rti = new RuntimeTypeInformation();
 
   void addGeneratedCode(WorkItem work, CodeBuffer codeBuffer) {
     generatedCode[work.element] = codeBuffer;
   }
 
   void addBailoutCode(WorkItem work, CodeBuffer codeBuffer) {
     generatedBailoutCode[work.element] = codeBuffer;
   }
 
+  void invalidateCode(Element element) {

[ahe, 2012/08/14 07:57:56]

Please don't add new features to Universe, that is, add this to Enqueuer.

[Søren Gjesse, 2012/08/14 08:26:30]

Removed this and used eagerRecompile in Enqueuer (which I had removed in favor
of this).

+    generatedCode.remove(element);
+    generatedBailoutCode.remove(element);
+  }
+
   bool hasMatchingSelector(Set<Selector> selectors,
                            Element member,
                            Compiler compiler) {
     if (selectors === null) return false;
     for (Selector selector in selectors) {
       if (selector.applies(member, compiler)) return true;
     }
     return false;
   }
 
@@ skipping 294 matching lines @@
       // Resolve an invocation of [element.name] on [self]. If it
       // is found, this selector is a candidate.
       return hasElementIn(self, element) && super.applies(element, compiler);
     }
 
     return false;
   }
 
   toString() => 'TypedSelector($kind, $receiverType, $argumentCount)';
 }