| library; | 
 | import self as self; | 
 | import "dart:core" as core; | 
 | import "dart:_internal" as _in; | 
 |  | 
 | abstract class A extends core::Object { | 
 |   field core::int? _#A#x = null; | 
 |   synthetic constructor •() → self::A | 
 |     : super core::Object::•() | 
 |     ; | 
 |   get x() → core::int | 
 |     return let final core::int? #t1 = this.{self::A::_#A#x}{core::int?} in #t1 == null ?{core::int} throw{for-error-handling} new _in::LateError::fieldNI("x") : #t1{core::int}; | 
 |   set x(core::int x#param) → void | 
 |     this.{self::A::_#A#x} = x#param; | 
 | } | 
 | class _B extends core::Object implements self::A { | 
 |   field core::int x = 3; | 
 |   synthetic constructor •() → self::_B | 
 |     : super core::Object::•() | 
 |     ; | 
 | } | 
 | static method main() → dynamic { | 
 |   self::A a; | 
 | } |