| library; | |
| import self as self; | |
| import "dart:core" as core; | |
| abstract sealed class A extends core::Object { | |
| synthetic constructor •() → self::A | |
| : super core::Object::•() | |
| ; | |
| } | |
| abstract class M extends core::Object /*isMixinDeclaration*/ { | |
| } | |
| abstract sealed class B = core::Object with self::M /*hasConstConstructor*/ { | |
| const synthetic constructor •() → self::B | |
| : super core::Object::•() | |
| ; | |
| } |