| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| extension type E(core::Object? it) { |
| abstract extension-type-member representation-field get it() → core::Object?; |
| constructor • = self::E|constructor#; |
| constructor tearoff • = self::E|constructor#_#new#tearOff; |
| } |
| static extension-type-member method E|constructor#(initializing-formal core::Object? it) → self::E% /* erasure=core::Object?, declared=! */ { |
| lowered final self::E% /* erasure=core::Object?, declared=! */ #this = it; |
| return #this; |
| } |
| static extension-type-member synthetic method E|constructor#_#new#tearOff(core::Object? it) → self::E% /* erasure=core::Object?, declared=! */ |
| return self::E|constructor#(it); |
| static method foo<X extends self::E% /* erasure=core::Object?, declared=! */>((self::foo::X%) → dynamic x, (self::E% /* erasure=core::Object?, declared=! */) → dynamic e) → dynamic { |
| core::List<(self::foo::X%) → dynamic> list = <(self::foo::X%) → dynamic>[x, e]; |
| x = list.{core::List::[]}(0){(core::int) → (self::foo::X%) → dynamic}; |
| } |
