Add a type kind to TypedSelector. A typed selector can either be

sdk/lib/_internal/compiler/implementation/universe/function_set.dart

Index: sdk/lib/_internal/compiler/implementation/universe/function_set.dart
===================================================================
--- sdk/lib/_internal/compiler/implementation/universe/function_set.dart	(revision 18249)
+++ sdk/lib/_internal/compiler/implementation/universe/function_set.dart	(working copy)
@@ -37,13 +37,19 @@
         : false;
   }
 
+  bool shouldDoVisitAll(Selector selector) {

[kasperl, 2013/02/11 08:18:12]

shouldVisitAll

[ngeoffray, 2013/02/11 10:20:55]

Done.

+    return containsInterfaceSubtypes
+        && (selector.typeKind == TypedSelectorKind.INTERFACE
+            || selector.typeKind == TypedSelectorKind.UNKNOWN);
+  }
+
   /**
    * Returns all elements that may be invoked with the given [selector].
    */
   Set<Element> filterBySelector(Selector selector) {
     // TODO(kasperl): For now, we use a different implementation for
     // filtering if the tree contains interface subtypes.
-    return containsInterfaceSubtypes
+    return shouldDoVisitAll(selector)
         ? filterAllBySelector(selector)
         : filterHierarchyBySelector(selector);
   }
@@ -55,7 +61,7 @@
   bool hasAnyElementMatchingSelector(Selector selector) {
     // TODO(kasperl): For now, we use a different implementation for
     // filtering if the tree contains interface subtypes.
-    return containsInterfaceSubtypes
+    return shouldDoVisitAll(selector)
         ? hasAnyInAll(selector)
         : hasAnyInHierarchy(selector);
   }