pkg/front_end/testcases/class_modifiers/interface/typedef/main.dart.strong.transformed.expect

library;
//
// Problems in library:
//
// pkg/front_end/testcases/class_modifiers/interface/typedef/main.dart:7:44: Error: The class 'A' can't be extended outside of its library because it's an interface class.
// class ExtendsInterfaceClassTypedef extends ATypeDef {}
//                                            ^
//
// pkg/front_end/testcases/class_modifiers/interface/typedef/main.dart:9:45: Error: The class 'A' can't be extended outside of its library because it's an interface class.
// class ExtendsInterfaceClassTypedef2 extends ATypeDef2 {}
//                                             ^
//
// pkg/front_end/testcases/class_modifiers/interface/typedef/main.dart:13:51: Error: The class 'A' can't be extended outside of its library because it's an interface class.
// class ExtendsInterfaceClassTypedefOutside extends AOutsideTypedef {}
//                                                   ^
//
import self as self;
import "main_lib.dart" as mai;

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

typedef AOutsideTypedef = mai::A;
class ExtendsInterfaceClassTypedef extends mai::A {
  synthetic constructor •() → self::ExtendsInterfaceClassTypedef
    : super mai::A::•()
    ;
}
class ExtendsInterfaceClassTypedef2 extends mai::A {
  synthetic constructor •() → self::ExtendsInterfaceClassTypedef2
    : super mai::A::•()
    ;
}
class ExtendsInterfaceClassTypedefOutside extends mai::A {
  synthetic constructor •() → self::ExtendsInterfaceClassTypedefOutside
    : super mai::A::•()
    ;
}

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

typedef ATypeDef = mai::A;
typedef ATypeDef2 = mai::A;
interface class A extends core::Object {
  synthetic constructor •() → mai::A
    : super core::Object::•()
    ;
}