|  | library; | 
|  | import self as self; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | class A extends core::Object { | 
|  | field core::int foo; | 
|  | constructor •(core::int foo) → self::A | 
|  | : self::A::foo = foo, super core::Object::•() | 
|  | ; | 
|  | get bar() → core::int | 
|  | return throw "Bye"; | 
|  | } | 
|  | static method main() → void { | 
|  | self::A obj = new self::A::•(42); | 
|  | core::int f = 1.{core::int::unary-}(){() → core::int}; | 
|  | core::int b = 1.{core::int::unary-}(){() → core::int}; | 
|  | try { | 
|  | { | 
|  | final synthesized self::A #0#0 = obj; | 
|  | core::int #t1; | 
|  | core::int #t2; | 
|  | #t1 = #0#0.{self::A::foo}{core::int}; | 
|  | #t2 = #0#0.{self::A::bar}{core::int}; | 
|  | f = #t1; | 
|  | b = #t2; | 
|  | } | 
|  | } | 
|  | on core::Object catch(final wildcard core::Object _#wc0#formal) { | 
|  | } | 
|  | self::expect(1.{core::int::unary-}(){() → core::int}, f); | 
|  | } | 
|  | static method expect(dynamic expected, dynamic actual) → dynamic { | 
|  | if(!(expected =={core::Object::==}{(core::Object) → core::bool} actual)) | 
|  | throw "Expected ${expected}, actual ${actual}"; | 
|  | } |