|  | library; | 
|  | import self as self; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | class A extends core::Object { | 
|  | field dynamic field1 = null; | 
|  | field core::int? field2 = null; | 
|  | synthetic constructor •() → self::A | 
|  | : super core::Object::•() | 
|  | ; | 
|  | } | 
|  | class I extends core::Object { | 
|  | field core::int? field1 = null; | 
|  | field dynamic field2 = null; | 
|  | synthetic constructor •() → self::I | 
|  | : super core::Object::•() | 
|  | ; | 
|  | } | 
|  | class B extends self::A implements self::I { | 
|  | synthetic constructor •() → self::B | 
|  | : super self::A::•() | 
|  | ; | 
|  | get field1() → core::int? | 
|  | return null; | 
|  | get field2() → core::int? | 
|  | return null; | 
|  | set field1(dynamic value) → void {} | 
|  | set field2(dynamic value) → void {} | 
|  | } | 
|  | static method main() → dynamic {} |