Fix for issue #6259: also look for subclasses when checking if a typed selector applies to an eleme…

lib/compiler/implementation/universe/universe.dart

Index: lib/compiler/implementation/universe/universe.dart
===================================================================
--- lib/compiler/implementation/universe/universe.dart	(revision 14186)
+++ lib/compiler/implementation/universe/universe.dart	(working copy)
@@ -526,7 +526,13 @@
     }
 
     ClassElement self = receiverType.element;
-    if (other.implementsInterface(self) || other.isSubclassOf(self)) {
+
+    // [TypedSelector] are only used when compiling.
+    assert(compiler.phase == Compiler.PHASE_COMPILING);

[ahe, 2012/10/29 14:22:14]

Perhaps this assertion should be the first line of this method.

[ngeoffray, 2012/10/29 14:37:53]

Done.

+
+    if (other.implementsInterface(self)
+        || other.isSubclassOf(self)
+        || compiler.world.hasOneSubclassThatImplements(other, receiverType)) {
       return appliesUntyped(element, compiler);
     }