| library /*isNonNullableByDefault*/; |
| import self as self; |
| import "main_lib.dart" as mai; |
| import "dart:core" as core; |
| |
| import "org-dartlang-testcase:///main_lib.dart"; |
| |
| abstract class MClass extends mai::SealedClass /*isMixinDeclaration*/ { |
| } |
| abstract class _MClassMultiple&SealedClass&SealedClass2 extends core::Object implements mai::SealedClass, mai::SealedClass2 /*isAnonymousMixin*/ { |
| synthetic constructor •() → self::_MClassMultiple&SealedClass&SealedClass2 |
| : super core::Object::•() |
| ; |
| } |
| abstract class MClassMultiple extends self::_MClassMultiple&SealedClass&SealedClass2 /*isMixinDeclaration*/ { |
| } |
| |
| library /*isNonNullableByDefault*/; |
| import self as mai; |
| import "dart:core" as core; |
| |
| abstract sealed class SealedClass extends core::Object { |
| synthetic constructor •() → mai::SealedClass |
| : super core::Object::•() |
| ; |
| } |
| abstract sealed class SealedClass2 extends core::Object { |
| synthetic constructor •() → mai::SealedClass2 |
| : super core::Object::•() |
| ; |
| } |