LanguageFeatures/Class-modifiers/basic_restrictions_A02_t07.dart

// 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:
/// ...
/// - A class extends or mixes in a declaration marked interface or final from
///   another library.
///
/// @description Check that it is not an error if class marked `final` is
/// extended in the same library where it is declared
/// @author sgrekhov22@gmail.com

final class FinalClass {}

base class BaseExtendsFinal extends FinalClass {}

final class FinalExtendsFinal extends FinalClass {}

sealed class SealedExtendsFinal extends FinalClass {}

abstract base class AbstractBaseExtendsFinal extends FinalClass {}

abstract final class AbstractFinalExtendsFinal extends FinalClass {}

main() {
  print(BaseExtendsFinal);
  print(FinalExtendsFinal);
  print(SealedExtendsFinal);
  print(AbstractBaseExtendsFinal);
  print(AbstractFinalExtendsFinal);
}