#1959. Versioning tests added

LanguageFeatures/Class-modifiers/versioning_A01_t01.dart

@@ -0,0 +1,86 @@
+// 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 base, interface, final, sealed and mixin can only be applied to
+/// classes and mixins in post-feature libraries.
+///
+/// @description Checks that it is a compile-time error if `base`, `interface`,
+/// `final`, `sealed` or `mixin` modifiers are applied to classes or mixins in
+/// pre-feature libraries.
+/// @author [email protected]
+
+// @dart=2.19
+
+  base class BaseClass {}
+//^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  interface class InterfaceClass {}
+//^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+  final class FinalClass {}
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+  sealed class SealedClass {}
+//^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  abstract base class AbstractBaseClass {}
+//         ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  abstract interface class AbstractInterfaceClass {}
+//         ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified'
+
+  abstract final class AbstractFinalClass {}
+//         ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  mixin class MixinClass {}
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  base mixin class BaseMixinClass {}
+//^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  abstract mixin class AbstractMixinClass {}
+//         ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  abstract base mixin class AbstractBaseMixinClass {}
+//         ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  base mixin BaseMixin {}
+//^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+main() {
+  print(BaseClass);
+  print(InterfaceClass);
+  print(FinalClass);
+  print(SealedClass);
+  print(AbstractBaseClass);
+  print(AbstractInterfaceClass);
+  print(AbstractFinalClass);
+  print(MixinClass);
+  print(BaseMixinClass);
+  print(AbstractMixinClass);
+  print(AbstractBaseMixinClass);
+  print(BaseMixin);
+}

LanguageFeatures/Class-modifiers/versioning_A02_t01.dart

@@ -0,0 +1,91 @@
+// 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 When the base, interface, final, mixin, or sealed modifiers are
+/// placed on a class or mixin, the resulting restrictions apply to all other
+/// libraries, even pre-feature libraries.
+///
+/// @description Checks that it is a compile-time error if a declaration from
+/// a pre-feature library depends on a `sealed` declaration from a post-feature
+/// library.
+/// @author [email protected]
+
+// @dart=2.19
+
+import "class_modifiers_lib.dart";
+
+class ExtendsSealed extends SealedClass {}
+//                          ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+abstract class AbstractExtendsSealed extends SealedClass {}
+//                                           ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class WithSealed1 with SealedClass {}
+//                     ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class WithSealed2 = Object with SealedClass;
+//                              ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+abstract class AbstractWithSealed1 with SealedClass {}
+//                                      ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+abstract class AbstractWithSealed2 = Object with SealedClass;
+//                                               ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class ImplementsSealed implements SealedClass {}
+//                                ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+abstract class AbstractImplementsSealed implements SealedClass {}
+//                                                 ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+mixin MixinOnSealedClass on SealedClass {}
+//                          ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+mixin MixinImplementsSealedClass implements SealedClass {}
+//                                          ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+enum EnumImplementsSealedClass implements SealedClass {e1, e2}
+//                                        ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+enum EnumWithSealedClass with SealedClass {e1, e2}
+//                            ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+main() {
+  print(ExtendsSealed);
+  print(AbstractExtendsSealed);
+  print(WithSealed1);
+  print(WithSealed2);
+  print(AbstractWithSealed1);
+  print(AbstractWithSealed2);
+  print(ImplementsSealed);
+  print(AbstractImplementsSealed);
+  print(MixinOnSealedClass);
+  print(MixinImplementsSealedClass);
+  print(EnumImplementsSealedClass);
+  print(EnumWithSealedClass);
+}

LanguageFeatures/Class-modifiers/versioning_A02_t02.dart

@@ -0,0 +1,91 @@
+// 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 When the base, interface, final, mixin, or sealed modifiers are
+/// placed on a class or mixin, the resulting restrictions apply to all other
+/// libraries, even pre-feature libraries.
+///
+/// @description Checks that it is a compile-time error if a class from a
+/// pre-feature library extends or mixes in a declaration marked `interface` or
+/// `final` from a post-feature library
+/// @author [email protected]
+
+// @dart=2.19
+
+import "class_modifiers_lib.dart";
+
+class ExtendsInterface extends InterfaceClass {}
+//                             ^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class WithInterface1 with InterfaceClass {}
+//                        ^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class WithInterface2 = Object with InterfaceClass;
+//                                 ^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class ExtendsAbstractInterface extends AbstractInterfaceClass {}
+//                                     ^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class WithAbstractInterface1 with AbstractInterfaceClass {}
+//                                ^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class WithAbstractInterface2 = Object with AbstractInterfaceClass;
+//                                         ^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class ExtendsFinal extends FinalClass {}
+//                         ^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class WithFinal1 with FinalClass {}
+//                    ^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class WithFinal2 = Object with FinalClass;
+//                             ^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class ExtendsAbstractFinal extends AbstractFinalClass {}
+//                                 ^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class WithAbstractFinal1 with AbstractFinalClass {}
+//                            ^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+class WithAbstractFinal2 = Object with AbstractFinalClass;
+//                                     ^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+main() {
+  print(ExtendsInterface);
+  print(WithInterface1);
+  print(WithInterface2);
+  print(ExtendsAbstractInterface);
+  print(WithAbstractInterface1);
+  print(WithAbstractInterface2);
+  print(ExtendsFinal);
+  print(WithFinal1);
+  print(WithFinal2);
+  print(ExtendsAbstractFinal);
+  print(WithAbstractFinal1);
+  print(WithAbstractFinal2);
+}