Disallow mixing in classes that use 'super'.

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<ClassElement>> subtypes;
+  final Map<ClassElement, Set<MixinApplicationElement>> mixinUses;
   final Map<ClassElement, Set<ClassElement>> typesImplementedBySubclasses;
   final Set<ClassElement> classesNeedingRti;
   final Map<ClassElement, Set<ClassElement>> rtiDependencies;
   final FunctionSet userDefinedGetters;
   final FunctionSet userDefinedSetters;
 
   World(Compiler compiler)
       : subtypes = new Map<ClassElement, Set<ClassElement>>(),
+        mixinUses = new Map<ClassElement, Set<MixinApplicationElement>>(),
         typesImplementedBySubclasses =
             new Map<ClassElement, Set<ClassElement>>(),
         userDefinedGetters = new FunctionSet(compiler),
         userDefinedSetters = new FunctionSet(compiler),
         classesNeedingRti = new Set<ClassElement>(),
         rtiDependencies = new Map<ClassElement, Set<ClassElement>>(),
         this.compiler = compiler;
 
   void populate() {
     void addSubtypes(ClassElement cls) {
@@ skipping 58 matching lines @@
           potentiallyAddForRti(itf.element);
         }
       }
     });
   }
 
   bool needsRti(ClassElement cls) {
     return classesNeedingRti.contains(cls) || compiler.enabledRuntimeType;
   }
 
+  void registerMixinUse(MixinApplicationElement mixinApplication,
+                        ClassElement mixin) {
+    Set<MixinApplicationElement> users =
+        mixinUses.putIfAbsent(mixin, () =>
+                              new Set<MixinApplicationElement>());
+    users.add(mixinApplication);
+  }
+
   void registerRtiDependency(Element element, Element dependency) {
     // We're not dealing with typedef for now.
     if (!element.isClass() || !dependency.isClass()) return;
     Set<ClassElement> classes =
         rtiDependencies.putIfAbsent(element, () => new Set<ClassElement>());
     classes.add(dependency);
   }
 
   void recordUserDefinedGetter(Element element) {
     assert(element.isGetter());
@@ skipping 20 matching lines @@
     return subclasses.contains(type.element);
   }
 
   bool hasNoOverridingMember(Element element) {
     ClassElement cls = element.getEnclosingClass();
     Set<ClassElement> subclasses = compiler.world.subtypes[cls];
     // TODO(ngeoffray): Implement the full thing.
     return subclasses == null || subclasses.isEmpty;
   }
 
-
-
   void registerUsedElement(Element element) {
     if (element.isMember()) {
       if (element.isGetter()) {
         // We're collecting user-defined getters to let the codegen know which
         // field accesses might have side effects.
         recordUserDefinedGetter(element);
       } else if (element.isSetter()) {
         recordUserDefinedSetter(element);
       }
     }
@@ skipping 67 matching lines @@
   final SourceString name;
 
   MemberSet(SourceString this.name) : elements = new Set<Element>();
 
   void add(Element element) {
     elements.add(element);
   }
 
   bool get isEmpty => elements.isEmpty;
 }