Fixes #2066. Update Superinterface tests according to the current specification (#2067)

Update Superinterface tests according to the current specification

Author: sgrekhov

Language/Classes/Superinterfaces/dynamic_type_t01.dart

@@ -4,11 +4,11 @@
 
 /// @assertion It is a compile-time error if the implements clause of a class C
 /// specifies type dynamic as a superinterface.
+///
 /// @description Checks that it is a compile-time error if dynamic is included
 /// in the type list of a class's implements clause.
 /// @author pagolubev
 
-
 class A implements dynamic {}
 //                 ^
 // [analyzer] unspecified

Language/Classes/Superinterfaces/dynamic_type_t02.dart

@@ -4,11 +4,11 @@
 
 /// @assertion It is a compile-time error if the implements clause of a class C
 /// specifies type dynamic as a superinterface.
+///
 /// @description Checks that it is a compile-time error if dynamic is included
 /// in the type list of a class's implements clause.
 /// @author rodionov
 
-
 abstract class I {}
 abstract class J {}
 

Language/Classes/Superinterfaces/dynamic_type_t03.dart

@@ -4,6 +4,7 @@
 
 /// @assertion It is a compile-time error if the implements clause of a class C
 /// specifies type dynamic as a superinterface.
+///
 /// @description Checks that it is a compile-time error if dynamic is included
 /// in the type list of a class's implements clause.
 /// @author sgrekhov@unipro.ru

Language/Classes/Superinterfaces/implicit_interface_t01.dart

@@ -5,11 +5,11 @@
 /// @assertion It is a compile error if the implicit interface of a class
 /// C includes an instance member m of type F and C declares or inherits a
 /// corresponding instance member m of type F' if F' is not a subtype of F.
+///
 /// @description Checks that it is a compile error if the type F'
 /// of declared instance member m is not a subtype of F.
 /// @author ilya
 
-
 abstract class I {
   foo(var x);
 }

Language/Classes/Superinterfaces/implicit_interface_t02.dart

@@ -5,11 +5,11 @@
 /// @assertion It is a compile error if the implicit interface of a class
 /// C includes an instance member m of type F and C declares or inherits a
 /// corresponding instance member m of type F' if F' is not a subtype of F.
+///
 /// @description Checks that it is a compile error if the type F' of
 /// inherited instance member m is not a subtype of F.
 /// @author ilya
 
-
 abstract class I {
   foo(var x);
 }

Language/Classes/Superinterfaces/implicit_interface_t03.dart

@@ -5,6 +5,7 @@
 /// @assertion It is a compile error if the implicit interface of a class
 /// C includes an instance member m of type F and C declares or inherits a
 /// corresponding instance member m of type F' if F' is not a subtype of F.
+///
 /// @description Checks that it is a compile error if the type F'
 /// of declared instance member m is not a subtype of F. Test type aliases
 /// @author ilya

Language/Classes/Superinterfaces/itself_t01.dart

@@ -4,13 +4,13 @@
 
 /// @assertion It is a compile-time error if the interface of a class C is a
 /// superinterface of itself.
+///
 /// @description When a class name appears as a type or interface, that name
 /// denotes the interface of the class.
 /// Test checks that it is a compile-time error when a class's own name is
 /// included in its implements clause.
 /// @author rodionov
 
-
 abstract class I {}
 
 class C implements I, C {}

Language/Classes/Superinterfaces/itself_t02.dart

@@ -4,6 +4,7 @@
 
 /// @assertion It is a compile-time error if the interface of a class C is a
 /// superinterface of itself.
+///
 /// @description When a class name appears as a type or interface, that name
 /// denotes the interface of the class.
 /// Test checks that it is a compile-time error when a class's own name is

Language/Classes/Superinterfaces/more_than_once_t01.dart

@@ -4,11 +4,11 @@
 
 /// @assertion It is a compile-time error if the implements clause of a class
 /// C specifies a type T as a superinterface more than once.
+///
 /// @description Checks that it is a compile-time error if the same type appears
 /// more than once in the implements clause.
 /// @author pagolubev
 
-
 abstract class I {}
 abstract class J {}
 

Language/Classes/Superinterfaces/more_than_once_t02.dart

@@ -4,6 +4,7 @@
 
 /// @assertion It is a compile-time error if the implements clause of a class
 /// C specifies a type T as a superinterface more than once.
+///
 /// @description Checks that it is a compile-time error if the same type appears
 /// more than once in the implements clause. Test type aliases
 /// @Issue 45526