| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| extension type X(core::int obj) { |
| constructor • = self::X|; |
| tearoff • = self::X|_#new#tearOff; |
| constructor named = self::X|named; |
| tearoff named = self::X|_#named#tearOff; |
| } |
| static inline-class-member method X|() → self::X /* = core::int */ |
| ; |
| static inline-class-member method X|_#new#tearOff() → self::X /* = core::int */ |
| return self::X|(); |
| static inline-class-member method X|named() → self::X /* = core::int */ |
| ; |
| static inline-class-member method X|_#named#tearOff() → self::X /* = core::int */ |
| return self::X|named(); |
| static method main() → void |
| ; |