| library; | 
 | import self as self; | 
 | import "dart:core" as core; | 
 |  | 
 | abstract class A extends core::Object { | 
 |   static factory •() → self::A /* redirection-target: self::B::• */ | 
 |     return self::B::•(); | 
 |   static synthetic method _#new#tearOff() → self::A | 
 |     return new self::C::•(); | 
 | } | 
 | abstract class B extends core::Object implements self::A { | 
 |   static factory •() → self::B /* redirection-target: self::C::• */ | 
 |     return new self::C::•(); | 
 |   static synthetic method _#new#tearOff() → self::B | 
 |     return new self::C::•(); | 
 | } | 
 | class C extends core::Object implements self::B /*hasConstConstructor*/  { | 
 |   const constructor •() → self::C | 
 |     : super core::Object::•() | 
 |     ; | 
 |   static synthetic method _#new#tearOff() → self::C | 
 |     return new self::C::•(); | 
 | } | 
 | static method main() → dynamic { | 
 |   #C1; | 
 | } | 
 |  | 
 | constants  { | 
 |   #C1 = static-tearoff self::A::_#new#tearOff | 
 | } |