|  | library; | 
|  | import self as self; | 
|  | import "main_lib.dart" as mai; | 
|  |  | 
|  | import "org-dartlang-testcase:///main_lib.dart"; | 
|  |  | 
|  | class SubClass extends mai::Class { | 
|  | synthetic constructor •() → self::SubClass | 
|  | : super mai::Class::•() | 
|  | ; | 
|  | } | 
|  | static method main() → dynamic { | 
|  | new self::SubClass::•(); | 
|  | } | 
|  |  | 
|  | library; | 
|  | import self as mai; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | class SuperClass extends core::Object { | 
|  | synthetic constructor •() → mai::SuperClass | 
|  | : super core::Object::•() | 
|  | ; | 
|  | method method(covariant-by-declaration core::int i) → void {} | 
|  | } | 
|  | abstract class Mixin extends core::Object /*isMixinDeclaration*/  { | 
|  | method method(core::num i) → void {} | 
|  | } | 
|  | abstract class _Class&SuperClass&Mixin = mai::SuperClass with mai::Mixin /*isAnonymousMixin*/  { | 
|  | synthetic constructor •() → mai::_Class&SuperClass&Mixin | 
|  | : super mai::SuperClass::•() | 
|  | ; | 
|  | forwarding-stub method method(covariant-by-declaration core::num i) → void | 
|  | return super.{mai::Mixin::method}(i); | 
|  | } | 
|  | class Class extends mai::_Class&SuperClass&Mixin { | 
|  | synthetic constructor •() → mai::Class | 
|  | : super mai::_Class&SuperClass&Mixin::•() | 
|  | ; | 
|  | } |