|  | library; | 
|  | import self as self; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | typedef F<X extends self::Class<X> = self::Class<dynamic>> = X; | 
|  | class Class<T extends core::Object? = dynamic> extends core::Object { | 
|  | synthetic constructor •() → self::Class<self::Class::T%> | 
|  | ; | 
|  | } | 
|  | class ConcreteClass extends core::Object implements self::Class<self::ConcreteClass> { | 
|  | synthetic constructor •() → self::ConcreteClass | 
|  | ; | 
|  | } | 
|  | class G<X extends self::Class<self::G::X> = self::Class<dynamic>> extends core::Object { | 
|  | synthetic constructor •() → self::G<self::G::X> | 
|  | ; | 
|  | } | 
|  | static method test() → dynamic | 
|  | ; | 
|  | static method main() → dynamic | 
|  | ; |