Fix for issue #129. Wrong test is separated to two ones. One should pass, the second should fail with the compile time error

Author: Sergey G. Grekhov

Language/Classes/definition_t23.dart

@@ -12,7 +12,9 @@
  * @description Checks that various class definitions that are valid according 
  * to 'metadata abstract? class mixinApplicationClass' syntax do not cause any 
  * errors and can be instantiated.
- * @author golovleva
+ * @author [email protected]
+ * @author [email protected]
+ * @issue dart-lang/co19#129
  */
 
 @A() abstract class I1<T> = A1 with B1;
@@ -25,16 +27,9 @@ abstract class J2 = A1 with B1;
 @B() class X2 = A1 with B1;
 class Y2 = A1 with B1;
 
-@A() abstract class I3<T> = A1 with B1 implements A1;
-abstract class J3<T> = A1 with B1 implements A1;
 @B() class X3<T> = B1 with A1 implements A1;
 class Y3<T> = B1 with A1 implements A1;
 
-@A() abstract class I4 = A1 with B1 implements A1;
-abstract class J4 = A1 with B1 implements A1;
-@B() class X4 = A1 with B1 implements A1;
-class Y4 = A1 with B1 implements A1;
-
 abstract class A1 {}
 class B1 {}
 
@@ -56,7 +51,4 @@ main() {
 
   X3 x3 = new X3();
   Y3 y3 = new Y3();
-
-  X4 x4 = new X4();
-  Y4 y4 = new Y4();
 }

Language/Classes/definition_t24.dart

@@ -0,0 +1,30 @@
+/*
+ * Copyright (c) 2011, 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.
+ */
+/**
+ * @assertion classDefinition:
+ *   metadata abstract? class identifier typeParameters? (superclass mixins?)? 
+ * interfaces? ‘{’ (metadata classMemberDefinition)* ‘}’ |
+ *   metadata abstract? class mixinApplicationClass
+ * ;
+ * ...
+ * It is a compile-time error if the superclass of a class C is specified as a
+ * superinterface of C.
+ * ...
+ * @description Checks that it is a compile-time error if the superclass of a
+ * class C is specified as a superinterface of C.
+ * @compile-error
+ * @author [email protected]
+ * @issue dart-lang/co19#129
+ * @issue 31624
+ */
+class X = A with B implements A;
+
+abstract class A {}
+class B {}
+
+main() {
+  new X();
+}