Refine the type of a local after it has been used as the receiver of a call.

sdk/lib/_internal/compiler/implementation/universe/function_set.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.
 
 part of universe;
 
 // TODO(kasperl): This actually holds getters and setters just fine
 // too and stricly they aren't functions. Maybe this needs a better
 // name -- something like ElementSet seems a bit too generic.
 class FunctionSet {
@@ skipping 31 matching lines @@
     return (node != null)
         ? node.contains(element)
         : false;
   }
 
   /**
    * Returns an object that allows iterating over all the functions
    * that may be invoked with the given [selector].
    */
   Iterable<Element> filter(Selector selector) {
+    return query(selector).functions;
+  }
+
+  TypeMask receiverType(Selector selector) {
+    return query(selector).computeMask(compiler);
+  }
+
+  FunctionSetQuery query(Selector selector) {
     SourceString name = selector.name;
     FunctionSetNode node = nodes[name];
     FunctionSetNode noSuchMethods = nodes[Compiler.NO_SUCH_METHOD];
     if (node != null) {
-      return node.query(selector, compiler, noSuchMethods).functions;
+      return node.query(selector, compiler, noSuchMethods);
     }
     // If there is no method that matches [selector] we know we can
     // only hit [:noSuchMethod:].
-    if (noSuchMethods == null) return const <Element>[];
+    if (noSuchMethods == null) return const FunctionSetQuery(const <Element>[]);
     selector = (selector.mask == null)
         ? compiler.noSuchMethodSelector
         : new TypedSelector(selector.mask, compiler.noSuchMethodSelector);
 
-    return noSuchMethods.query(selector, compiler, null).functions;
+    return noSuchMethods.query(selector, compiler, null);
   }
 
   void forEach(Function action) {
     nodes.forEach((SourceString name, FunctionSetNode node) {
       node.forEach(action);
     });
   }
 }
 
 
@@ skipping 103 matching lines @@
     }
     cache[selector] = result = (functions != null)
         ? newQuery(functions, selector, compiler)
         : const FunctionSetQuery(const <Element>[]);
     return result;
   }
 
   FunctionSetQuery newQuery(Iterable<Element> functions,
                             Selector selector,
                             Compiler compiler) {
-    return new FunctionSetQuery(functions);
+    return new FullFunctionSetQuery(functions);
   }
 }
 
 class FunctionSetQuery {
   final Iterable<Element> functions;
+  TypeMask computeMask(Compiler compiler) => const TypeMask.nonNullEmpty();
   const FunctionSetQuery(this.functions);
 }
+
+class FullFunctionSetQuery extends FunctionSetQuery {
+  TypeMask _mask;
+
+  TypeMask computeMask(Compiler compiler) {

[karlklose, 2013/08/19 10:52:33]

Please add a comment to describe what this function computes.

[ngeoffray, 2013/08/20 08:00:48]

Done.

+    if (_mask != null) return _mask;
+    return _mask = new TypeMask.unionOf(functions
+        .map((element) => element.getEnclosingClass())
+        .expand((cls) {
+          return compiler.world.isUsedAsMixin(cls)
+              ? [[cls], compiler.world.mixinUses[cls]].expand((x) => x)

[karlklose, 2013/08/19 10:52:33]

How about writing this as
  'new List.from(compiler.world.mixinUses[cls])..add(cls)'
or
  '[cls].addAll(compiler.world.isUsedAsMixin(cls)
                ? compiler.world.mixinUses[cls] : [])'
?

[ngeoffray, 2013/08/20 08:00:48]

I did not want to create a new list again. By using those methods I hope the
underlying implementation just caches them.

[ngeoffray, 2013/08/20 09:13:34]

After further discussions and talking to the library team, I changed it to use
addAlll instead. More readable, and we'll have to rewrite it anyway if we enver
end up having a lazy concat.

+              : [cls];
+        })
+        .map((cls) {
+          Set<ClassElement> subclasses = compiler.world.subclassesOf(cls);

[karlklose, 2013/08/19 10:52:33]

Consider adding a helper for this test:
 hasSubclasses(ClassElement cls) {
   Set<ClassElement> subclasses = compiler.world.subclassesOf(cls);
   return subclasses == null || subclasses.isEmpty
 }

[ngeoffray, 2013/08/20 08:00:48]

Done.

+          return subclasses == null || subclasses.isEmpty
+              ? new TypeMask.nonNullExact(cls.rawType)
+              : new TypeMask.nonNullSubclass(cls.rawType);
+        }),
+        compiler);
+  }
+
+  FullFunctionSetQuery(functions) : super(functions);
+}