| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| extension type E1(core::int it) { |
| abstract extension-type-member representation-field get it() → core::int; |
| method name = self::E1|name; |
| method tearoff name = self::E1|get#name; |
| constructor name = self::E1|constructor#name; |
| constructor tearoff name = self::E1|constructor#_#name#tearOff; |
| } |
| static extension-type-member method E1|constructor#name(core::int it) → self::E1% /* erasure=core::int, declared=! */ |
| ; |
| static extension-type-member method E1|constructor#_#name#tearOff(core::int it) → self::E1% /* erasure=core::int, declared=! */ |
| return self::E1|constructor#name(it); |
| static extension-type-member method E1|name(lowered final self::E1% /* erasure=core::int, declared=! */ #this) → void |
| ; |
| static extension-type-member method E1|get#name(lowered final self::E1% /* erasure=core::int, declared=! */ #this) → () → void |
| return () → void => self::E1|name(#this); |