pkg/front_end/testcases/class_modifiers/base/outside_library_implements/main.dart.strong.transformed.expect

library;
//
// Problems in library:
//
// pkg/front_end/testcases/class_modifiers/base/outside_library_implements/main.dart:10:16: Error: The class 'A' can't be implemented outside of its library because it's a base class.
//     implements SealedClassExtendsBase {} /* Error */
//                ^
// pkg/front_end/testcases/class_modifiers/base/outside_library_implements/main_lib.dart:5:12: Context: The type 'SealedClassExtendsBase' is a subtype of 'A', and 'A' is defined here.
// base class A {}
//            ^
//
// pkg/front_end/testcases/class_modifiers/base/outside_library_implements/main.dart:13:16: Error: The class 'A' can't be implemented outside of its library because it's a base class.
//     implements SealedClassExtendsBase {} /* Error */
//                ^
// pkg/front_end/testcases/class_modifiers/base/outside_library_implements/main_lib.dart:5:12: Context: The type 'SealedClassExtendsBase' is a subtype of 'A', and 'A' is defined here.
// base class A {}
//            ^
//
// pkg/front_end/testcases/class_modifiers/base/outside_library_implements/main.dart:16:16: Error: The class 'A' can't be implemented outside of its library because it's a base class.
//     implements SealedClassExtendsBase {} /* Error */
//                ^
// pkg/front_end/testcases/class_modifiers/base/outside_library_implements/main_lib.dart:5:12: Context: The type 'SealedClassExtendsBase' is a subtype of 'A', and 'A' is defined here.
// base class A {}
//            ^
//
// pkg/front_end/testcases/class_modifiers/base/outside_library_implements/main.dart:19:16: Error: The class 'A' can't be implemented outside of its library because it's a base class.
//     implements SealedClassExtendsBase {} /* Error */
//                ^
// pkg/front_end/testcases/class_modifiers/base/outside_library_implements/main_lib.dart:5:12: Context: The type 'SealedClassExtendsBase' is a subtype of 'A', and 'A' is defined here.
// base class A {}
//            ^
//
// pkg/front_end/testcases/class_modifiers/base/outside_library_implements/main.dart:22:16: Error: The class 'A' can't be implemented outside of its library because it's a base class.
//     implements SealedClassExtendsBase {} /* Error */
//                ^
// pkg/front_end/testcases/class_modifiers/base/outside_library_implements/main_lib.dart:5:12: Context: The type 'SealedClassExtendsBase' is a subtype of 'A', and 'A' is defined here.
// base class A {}
//            ^
//
import self as self;
import "main_lib.dart" as mai;
import "dart:core" as core;

import "org-dartlang-testcase:///main_lib.dart";

abstract sealed class SealedClassExtendsBase extends mai::A {
  synthetic constructor •() → self::SealedClassExtendsBase
    : super mai::A::•()
    ;
}
class ClassImplementsIndirectBase extends core::Object implements self::SealedClassExtendsBase {
  synthetic constructor •() → self::ClassImplementsIndirectBase
    : super core::Object::•()
    ;
}
final class FinalClassImplementsIndirectBase extends core::Object implements self::SealedClassExtendsBase {
  synthetic constructor •() → self::FinalClassImplementsIndirectBase
    : super core::Object::•()
    ;
}
interface class InterfaceClassImplementsIndirectBase extends core::Object implements self::SealedClassExtendsBase {
  synthetic constructor •() → self::InterfaceClassImplementsIndirectBase
    : super core::Object::•()
    ;
}
abstract sealed class SealedClassImplementsIndirectBase extends core::Object implements self::SealedClassExtendsBase {
  synthetic constructor •() → self::SealedClassImplementsIndirectBase
    : super core::Object::•()
    ;
}
base class BaseClassImplementsIndirectBase extends core::Object implements self::SealedClassExtendsBase {
  synthetic constructor •() → self::BaseClassImplementsIndirectBase
    : super core::Object::•()
    ;
}

library;
import self as mai;
import "dart:core" as core;

base class A extends core::Object {
  synthetic constructor •() → mai::A
    : super core::Object::•()
    ;
}