Fix issue 10216. If the type mask is a subtype, and its base mixes in class A, it should consider a…

sdk/lib/_internal/compiler/implementation/world.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 dart2js;
 
 class World {
   final Compiler compiler;
   final Map<ClassElement, Set<MixinApplicationElement>> mixinUses;
   final Map<ClassElement, Set<ClassElement>> typesImplementedBySubclasses;
@@ skipping 118 matching lines @@
   }
 
   // Returns whether a subclass of [superclass] mixes in [other].
   bool hasAnySubclassThatMixes(ClassElement superclass, ClassElement other) {
     Set<MixinApplicationElement> uses = mixinUses[other];
     return (uses != null)
         ? uses.any((each) => each.isSubclassOf(superclass))
         : false;
   }
 
+  // Returns whether a superclass of [cls] mixes in [other].

[kasperl, 2013/04/29 10:27:21]

Get rid of this helper again?

[ngeoffray, 2013/04/29 10:37:48]

Done.

+  bool hasAnySuperclassThatMixes(ClassElement cls, ClassElement other) {
+    Set<MixinApplicationElement> uses = mixinUses[other];
+    return (uses != null)
+        ? uses.any((each) => cls.isSubclassOf(each))
+        : false;
+  }
+
   void registerUsedElement(Element element) {
     if (element.isInstanceMember() && !element.isAbstract(compiler)) {
       allFunctions.add(element);
     }
   }
 
   VariableElement locateSingleField(Selector selector) {
     Element result = locateSingleElement(selector);
     return (result != null && result.isField()) ? result : null;
   }
@@ skipping 34 matching lines @@
   }
 
   void addFunctionCalledInLoop(Element element) {
     functionsCalledInLoop.add(element);
   }
 
   bool isCalledInLoop(Element element) {
     return functionsCalledInLoop.contains(element);
   }
 }