|  | library; | 
|  | import self as self; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | class A extends core::Object { | 
|  | synthetic constructor •() → void | 
|  | ; | 
|  | } | 
|  | class B extends core::Object { | 
|  | synthetic constructor •() → void | 
|  | ; | 
|  | } | 
|  | class AB1 extends self::A implements self::B { | 
|  | synthetic constructor •() → void | 
|  | ; | 
|  | } | 
|  | class AB2 extends self::A implements self::B { | 
|  | synthetic constructor •() → void | 
|  | ; | 
|  | } | 
|  | class BA1 extends self::B implements self::A { | 
|  | synthetic constructor •() → void | 
|  | ; | 
|  | } | 
|  | class BA2 extends self::B implements self::A { | 
|  | synthetic constructor •() → void | 
|  | ; | 
|  | } | 
|  | static method takeSubclassOfA(dynamic obj) → dynamic | 
|  | ; | 
|  | static method takeSubclassOfB(dynamic obj) → dynamic | 
|  | ; | 
|  | static method main() → dynamic | 
|  | ; |