| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| abstract class Foo extends core::Object { |
| synthetic constructor •() → self::Foo |
| : super core::Object::•() |
| ; |
| } |
| extension type FooBar(core::int i) implements self::Foo { |
| constructor • = self::FooBar|; |
| tearoff • = self::FooBar|_#new#tearOff; |
| } |
| extension type FooBaz(core::int i) implements self::Foo { |
| constructor • = self::FooBaz|; |
| tearoff • = self::FooBaz|_#new#tearOff; |
| } |
| static inline-class-member method FooBar|(core::int i) → self::FooBar /* = core::int */ { |
| lowered final self::FooBar /* = core::int */ #this = i; |
| return #this; |
| } |
| static inline-class-member method FooBar|_#new#tearOff(core::int i) → self::FooBar /* = core::int */ |
| return self::FooBar|(i); |
| static inline-class-member method FooBaz|(core::int i) → self::FooBaz /* = core::int */ { |
| lowered final self::FooBaz /* = core::int */ #this = i; |
| return #this; |
| } |
| static inline-class-member method FooBaz|_#new#tearOff(core::int i) → self::FooBaz /* = core::int */ |
| return self::FooBaz|(i); |
| static method main() → void { |
| final self::FooBar /* = core::int */ a = self::FooBar|(0); |
| #L1: |
| { |
| final synthesized self::FooBar /* = core::int */ #0#0 = a; |
| { |
| final hoisted core::int a; |
| if(let final dynamic #t1 = a = #0#0 as{Unchecked} core::int in true) { |
| { |
| core::print("FooBar ${a}"); |
| } |
| } |
| } |
| } |
| } |