|  | library; | 
|  | import self as self; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | class A extends core::Object { | 
|  | synthetic constructor •() → self::A | 
|  | : super core::Object::•() | 
|  | ; | 
|  | } | 
|  | abstract class Mixin extends core::Object /*isMixinDeclaration*/  { | 
|  | } | 
|  | abstract class B<D extends core::Object? = dynamic> extends core::Object { | 
|  | final field self::B::D% field; | 
|  | constructor •({required self::B::D% field}) → self::B<self::B::D%> | 
|  | : self::B::field = field, super core::Object::•() | 
|  | ; | 
|  | } | 
|  | abstract class _C&B&Mixin = self::B<self::A> with self::Mixin /*isAnonymousMixin*/  { | 
|  | synthetic constructor •({required self::A field}) → self::_C&B&Mixin | 
|  | : super self::B::•(field: field) | 
|  | ; | 
|  | } | 
|  | class C extends self::_C&B&Mixin { | 
|  | constructor •({required self::A field}) → self::C | 
|  | : super self::_C&B&Mixin::•(field: field) | 
|  | ; | 
|  | } | 
|  | static method main() → dynamic {} |