Report CompileTimeErrorCode.MIXIN_REFERENCES_SUPER

editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/SimpleResolverTest.java

Index: editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/SimpleResolverTest.java
diff --git a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/SimpleResolverTest.java b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/SimpleResolverTest.java
index a6bec0672d89e9bcba29212f4f038985c27d74ab..79f39304d1f41273320236dfc9fd4b4874160df5 100644
--- a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/SimpleResolverTest.java
+++ b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/SimpleResolverTest.java
@@ -179,6 +179,22 @@ public class SimpleResolverTest extends ResolverTestCase {
     verify(source);
   }
 
+  public void test_hasReferenceToSuper() throws Exception {
+    Source source = addSource(createSource(//
+        "class A {}",
+        "class B {toString() => super.toString()}"));
+    LibraryElement library = resolve(source);
+    assertNotNull(library);
+    CompilationUnitElement unit = library.getDefiningCompilationUnit();
+    assertNotNull(unit);
+    ClassElement[] classes = unit.getTypes();
+    assertLength(2, classes);
+    assertFalse(classes[0].hasReferenceToSuper());
+    assertTrue(classes[1].hasReferenceToSuper());
+    assertNoErrors();
+    verify(source);
+  }
+
   public void test_importWithPrefix() throws Exception {
     addSource("/two.dart", createSource(//
         "library two;",