Issue 8059. Disallow mixing in classes that use 'super' from any member.

compiler/java/com/google/dart/compiler/resolver/ClassElementImplementation.java

 // 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.
 
 package com.google.dart.compiler.resolver;
 
 import com.google.common.collect.Lists;
+import com.google.dart.compiler.ast.ASTNodes;
 import com.google.dart.compiler.ast.DartClass;
 import com.google.dart.compiler.ast.DartClassTypeAlias;
 import com.google.dart.compiler.ast.DartDeclaration;
 import com.google.dart.compiler.ast.DartIdentifier;
 import com.google.dart.compiler.ast.DartObsoleteMetadata;
 import com.google.dart.compiler.ast.DartStringLiteral;
 import com.google.dart.compiler.ast.DartTypeParameter;
 import com.google.dart.compiler.ast.Modifiers;
 import com.google.dart.compiler.common.SourceInfo;
 import com.google.dart.compiler.type.InterfaceType;
@@ skipping 18 matching lines @@
   private final String nativeName;
   private final DartObsoleteMetadata metadata;
   private final Modifiers modifiers;
   private final AtomicReference<List<InterfaceType>> allSupertypes =
       new AtomicReference<List<InterfaceType>>();
   private final SourceInfo nameLocation;
   private final String declarationNameWithTypeParameter;
   private List<Element> unimplementedMembers;
   private final int openBraceOffset;
   private final int closeBraceOffset;
+  private final boolean hasSuperInvocation;
 
   // declared volatile for thread-safety
   @SuppressWarnings("unused")
   private volatile Set<InterfaceType> subtypes;
 
   private final List<ConstructorNodeElement> constructors = Lists.newArrayList();
   private final ElementMap members = new ElementMap();
 
   private final LibraryElement library;
 
@@ skipping 10 matching lines @@
     this.nativeName = nativeName;
     this.library = library;
     if (node != null) {
       isInterface = node.isInterface();
       metadata = node.getObsoleteMetadata();
       modifiers = node.getModifiers();
       nameLocation = node.getName().getSourceInfo();
       declarationNameWithTypeParameter = createDeclarationName(node.getName(), node.getTypeParameters());
       openBraceOffset = node.getOpenBraceOffset();
       closeBraceOffset = node.getCloseBraceOffset();
+      hasSuperInvocation = ASTNodes.hasSuperInvocation(node);
     } else {
       isInterface = false;
       metadata = DartObsoleteMetadata.EMPTY;
       modifiers = Modifiers.NONE;
       nameLocation = SourceInfo.UNKNOWN;
       declarationNameWithTypeParameter = "";
       openBraceOffset = -1;
       closeBraceOffset = -1;
+      hasSuperInvocation = false;
     }
   }
   
   ClassElementImplementation(DartClassTypeAlias node, String name,
       LibraryElement library) {
     super(node, name);
     this.nativeName = null;
     this.library = library;
     if (node != null) {
       isInterface = false;
       metadata = node.getObsoleteMetadata();
       modifiers = node.getModifiers();
       nameLocation = node.getName().getSourceInfo();
       declarationNameWithTypeParameter = createDeclarationName(node.getName(), node.getTypeParameters());
       openBraceOffset = -1;
       closeBraceOffset = -1;
+      hasSuperInvocation = false;
     } else {
       isInterface = false;
       metadata = DartObsoleteMetadata.EMPTY;
       modifiers = Modifiers.NONE;
       nameLocation = SourceInfo.UNKNOWN;
       declarationNameWithTypeParameter = "";
       openBraceOffset = -1;
       closeBraceOffset = -1;
+      hasSuperInvocation = false;
     }
   }
 
   @Override
   public DartDeclaration<?> getNode() {
     return (DartClass) super.getNode();
   }
 
   @Override
   public SourceInfo getNameLocation() {
@@ skipping 324 matching lines @@
   
   @Override
   public int getOpenBraceOffset() {
     return openBraceOffset;
   }
   
   @Override
   public int getCloseBraceOffset() {
     return closeBraceOffset;
   }
+  
+  @Override
+  public boolean hasSuperInvocation() {
+    return hasSuperInvocation;
+  }
 }