Better tracking of provided types at call sites

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 304 matching lines @@
     if (namedArguments.isEmpty()) return namedArguments;
     if (!orderedNamedArguments.isEmpty()) return orderedNamedArguments;
 
     orderedNamedArguments.addAll(namedArguments);
     orderedNamedArguments.sort((SourceString first, SourceString second) {
       return first.slowToString().compareTo(second.slowToString());
     });
     return orderedNamedArguments;
   }
 
-  toString() => 'Selector($kind, $name, $argumentCount)';
+  String namedArgumentsToString() {
+    if (namedArgumentCount > 0) {
+      StringBuffer result = new StringBuffer();
+      for (int i = 0; i < namedArgumentCount; i++) {
+        if (i != 0) result.add(', ');
+        result.add(namedArguments[i].slowToString());
+      }
+      return "[$result]";
+    }
+    return '';
+  }
+
+  String toString() {
+    String named = '';
+    String type = '';
+    if (namedArgumentCount > 0) named = ', named=${namedArgumentsToString()}';
+    if (receiverType != null) type = ', type=$receiverType';
+    return 'Selector($kind, ${name.slowToString()}, '
+           'arity=$argumentCount$named$type)';
+  }
 }
 
 class TypedSelector extends Selector {
   /**
    * The type of the receiver. Any subtype of that type can be the
    * target of the invocation.
    */
   final DartType receiverType;
 
   TypedSelector(this.receiverType, Selector selector)
@@ skipping 44 matching lines @@
     }
 
     if (!self.isInterface() && self.isSubclassOf(other)) {
       // Resolve an invocation of [element.name] on [self]. If it
       // is found, this selector is a candidate.
       return hasElementIn(self, element) && appliesUntyped(element, compiler);
     }
 
     return false;
   }
-
-  toString() {
-    return 'Selector($kind, "${name.slowToString()}", '
-           '$argumentCount, type=$receiverType)';
-  }
 }