dart-lang#1400. [Extension types] Add more superinterfaces tests (dart-lang#2315)

Add more superinterfaces tests

Author: sgrekhov

LanguageFeatures/Extension-types/superinterfaces_of_extension_type_A03_t02.dart

@@ -0,0 +1,51 @@
+// Copyright (c) 2023, 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 Assume that DV is an extension type declaration named Name, and
+/// V1 occurs as one of the <type>s in the <interfaces> of DV. In this case we
+/// say that V1 is a superinterface of DV.
+/// ...
+/// Assume that DV has two direct or indirect superinterfaces of the form
+/// W<T1, .. Tk> respectively W<S1, .. Sk>. A compile-time error occurs if Tj is
+/// not equal to Sj for any j in 1 .. k. The notion of equality used here is the
+/// same as with the corresponding rule about superinterfaces of classes.
+///
+/// @description Checks that it is a compile-time error if an extension type has
+/// two superinterfaces of the form `W<T1, .. Tk>`, `W<S1, .. Sk>` and there is
+/// a `j` such that `Tj` is not equal to `Sj`.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=inline-class
+
+class A<T> {}
+
+extension type IntET(int _) implements int {}
+
+extension type ET<T extends num>(T _) implements num {}
+
+extension type ET1(A<int> _) implements A<num>, A<int> {}
+//                                              ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+extension type ET2<T extends num>(A<T> _) implements A<num>, A<T> {}
+//                                                             ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+extension type ET3<T extends num>(T _) implements ET<T>, ET<num> {}
+//                                                       ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+extension type ET4(int _) implements IntET, num {}
+//                                                       ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+main() {
+  print(ET1);
+  print(ET2);
+  print(ET3);
+}

LanguageFeatures/Extension-types/superinterfaces_of_extension_type_A03_t03.dart

@@ -0,0 +1,33 @@
+// Copyright (c) 2023, 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 Assume that DV is an extension type declaration named Name, and
+/// V1 occurs as one of the <type>s in the <interfaces> of DV. In this case we
+/// say that V1 is a superinterface of DV.
+/// ...
+/// Assume that DV has two direct or indirect superinterfaces of the form
+/// W<T1, .. Tk> respectively W<S1, .. Sk>. A compile-time error occurs if Tj is
+/// not equal to Sj for any j in 1 .. k. The notion of equality used here is the
+/// same as with the corresponding rule about superinterfaces of classes.
+///
+/// @description Checks that it is a compile-time error if an extension type has
+/// two superinterfaces of the form `W<T1, .. Tk>`, `W<S1, .. Sk>` and there is
+/// a `j` such that `Tj` is not equal to `Sj`.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=inline-class
+
+class A<T> {}
+
+extension type A_ET1<T>(A<T> _) implements A<T> {}
+
+extension type A_ET2<T>(A<T> _) implements A<T> {}
+
+extension type ET(A<int> _) implements A_ET1<int>, A_ET2<num> {}
+//             ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+main() {
+  print(ET);
+}

LanguageFeatures/Extension-types/superinterfaces_of_extension_type_A03_t04.dart

@@ -0,0 +1,33 @@
+// Copyright (c) 2023, 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 Assume that DV is an extension type declaration named Name, and
+/// V1 occurs as one of the <type>s in the <interfaces> of DV. In this case we
+/// say that V1 is a superinterface of DV.
+/// ...
+/// Assume that DV has two direct or indirect superinterfaces of the form
+/// W<T1, .. Tk> respectively W<S1, .. Sk>. A compile-time error occurs if Tj is
+/// not equal to Sj for any j in 1 .. k. The notion of equality used here is the
+/// same as with the corresponding rule about superinterfaces of classes.
+///
+/// @description Checks that it is a compile-time error if an extension type has
+/// two superinterfaces of the form `W<T1, .. Tk>`, `W<S1, .. Sk>` and there is
+/// a `j` such that `Tj` is not equal to `Sj`.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=inline-class
+
+extension type A<T>(T _) {}
+
+extension type A_ET1<T>(A<T> _) implements A<A<T>> {}
+
+extension type A_ET2<T>(A<T> _) implements A<A<T>> {}
+
+extension type ET(A<int> _) implements A_ET1<int>, A_ET2<num> {}
+//             ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+main() {
+  print(ET);
+}

LanguageFeatures/Extension-types/superinterfaces_of_extension_type_A03_t05.dart

@@ -0,0 +1,31 @@
+// Copyright (c) 2023, 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 Assume that DV is an extension type declaration named Name, and
+/// V1 occurs as one of the <type>s in the <interfaces> of DV. In this case we
+/// say that V1 is a superinterface of DV.
+/// ...
+/// Assume that DV has two direct or indirect superinterfaces of the form
+/// W<T1, .. Tk> respectively W<S1, .. Sk>. A compile-time error occurs if Tj is
+/// not equal to Sj for any j in 1 .. k. The notion of equality used here is the
+/// same as with the corresponding rule about superinterfaces of classes.
+///
+/// @description Checks that it is a compile-time error if an extension type has
+/// two superinterfaces of the form `W<T1, .. Tk>`, `W<S1, .. Sk>` and there is
+/// a `j` such that `Tj` is not equal to `Sj`.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=inline-class
+
+class A<T> {}
+
+extension type ET1(A<Never> _) implements A<int> {}
+
+extension type ET2(A<Never> _) implements ET1, A<String> {}
+//             ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+main() {
+  print(ET2);
+}

LanguageFeatures/Extension-types/superinterfaces_of_extension_type_A03_t06.dart

@@ -0,0 +1,31 @@
+// Copyright (c) 2023, 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 Assume that DV is an extension type declaration named Name, and
+/// V1 occurs as one of the <type>s in the <interfaces> of DV. In this case we
+/// say that V1 is a superinterface of DV.
+/// ...
+/// Assume that DV has two direct or indirect superinterfaces of the form
+/// W<T1, .. Tk> respectively W<S1, .. Sk>. A compile-time error occurs if Tj is
+/// not equal to Sj for any j in 1 .. k. The notion of equality used here is the
+/// same as with the corresponding rule about superinterfaces of classes.
+///
+/// @description Checks that it is a compile-time error if an extension type has
+/// two superinterfaces of the form `W<T1, .. Tk>`, `W<S1, .. Sk>` and there is
+/// a `j` such that `Tj` is not equal to `Sj`.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=inline-class
+
+extension type A<T>(T _) {}
+
+extension type ET1(A<Never> _) implements A<A<int>> {}
+
+extension type ET2(A<Never> _) implements ET1, A<A<String>> {}
+//             ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+main() {
+  print(ET2);
+}

LanguageFeatures/Extension-types/superinterfaces_of_extension_type_A08_t01.dart

@@ -0,0 +1,56 @@
+// Copyright (c) 2023, 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 It is a compile-time error if two elements in the type list of
+/// the `implements` clause of an extension type declaration specifies the same
+/// type.
+///
+/// @description Checks that it is a compile-time error if two elements in the
+/// type list of the `implements` clause of an extension type declaration
+/// specifies the same type.
+/// @author [email protected]
+/// @issue 53790, 53791
+
+// SharedOptions=--enable-experiment=inline-class
+
+class A {}
+
+class B<T> {}
+
+extension type IntET(int _) implements int {}
+
+extension type ET<T extends num>(T _) implements num {}
+
+extension type ET1(A _) implements A, A {}
+//                                    ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+extension type ET2(B<int> _) implements B<int>, B<int> {}
+//                                              ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+extension type ET3(IntET _) implements IntET, int, IntET {}
+//                                                 ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+extension type ET4<T extends num>(B<T> _) implements B<T>, B<T> {}
+//                                                         ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+extension type ET5<T extends num>(T _) implements ET<T>, ET<T> {}
+//                                                       ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+main() {
+  print(ET1);
+  print(ET2);
+  print(ET3);
+  print(ET4);
+  print(ET5);
+}

LanguageFeatures/Extension-types/superinterfaces_of_extension_type_A08_t02.dart

@@ -0,0 +1,40 @@
+// Copyright (c) 2023, 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 It is a compile-time error if two elements in the type list of
+/// the `implements` clause of an extension type declaration specifies the same
+/// type.
+///
+/// @description Checks that it is not an error if two elements in the type list
+/// of the `implements` clause of an extension type declaration specifies
+/// different types.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=inline-class
+
+class A<T> {}
+
+extension type AET(A<int> _) implements A<int> {}
+
+extension type IntET(int _) implements int {}
+
+extension type ET<T extends num>(T _) implements num {}
+
+extension type ET1(int _) implements num, int {}
+
+extension type ET2(IntET _) implements IntET, int {}
+
+extension type ET3(IntET _) implements IntET, ET<int> {}
+
+extension type ET4(A<int> _) implements A<int>, AET {}
+
+extension type ET5(int _) implements ET<num>, num {}
+
+main() {
+  print(ET1);
+  print(ET2);
+  print(ET3);
+  print(ET4);
+  print(ET5);
+}