pkg/front_end/testcases/extension_types/issue53720_2.dart.strong.outline.expect

library;
import self as self;
import "dart:core" as core;

extension type E1(core::int i) {
  abstract extension-type-member representation-field get i() → core::int;
  method m2 = self::E1|m2;
  method tearoff m2 = self::E1|get#m2;
  get m3 = self::E1|get#m3;
  set m1 = self::E1|set#m1;
  set m4 = self::E1|set#m4;
  constructor • = self::E1|constructor#;
  constructor tearoff • = self::E1|constructor#_#new#tearOff;
}
extension type E2(core::int i) implements self::E1% /* erasure=core::int, declared=! */ {
  abstract extension-type-member representation-field get i() → core::int;
  method m1 = self::E2|m1;
  method tearoff m1 = self::E2|get#m1;
  get m4 = self::E2|get#m4;
  set m2 = self::E2|set#m2;
  set m3 = self::E2|set#m3;
  constructor • = self::E2|constructor#;
  constructor tearoff • = self::E2|constructor#_#new#tearOff;
}
static extension-type-member method E1|constructor#(core::int i) → self::E1% /* erasure=core::int, declared=! */
  ;
static extension-type-member method E1|constructor#_#new#tearOff(core::int i) → self::E1% /* erasure=core::int, declared=! */
  return self::E1|constructor#(i);
static extension-type-member method E1|set#m1(lowered final self::E1% /* erasure=core::int, declared=! */ #this, dynamic _) → void
  ;
static extension-type-member method E1|m2(lowered final self::E1% /* erasure=core::int, declared=! */ #this) → void
  ;
static extension-type-member method E1|get#m2(lowered final self::E1% /* erasure=core::int, declared=! */ #this) → () → void
  return () → void => self::E1|m2(#this);
static extension-type-member method E1|get#m3(lowered final self::E1% /* erasure=core::int, declared=! */ #this) → dynamic
  ;
static extension-type-member method E1|set#m4(lowered final self::E1% /* erasure=core::int, declared=! */ #this, dynamic _) → void
  ;
static extension-type-member method E2|constructor#(core::int i) → self::E2% /* erasure=core::int, declared=! */
  ;
static extension-type-member method E2|constructor#_#new#tearOff(core::int i) → self::E2% /* erasure=core::int, declared=! */
  return self::E2|constructor#(i);
static extension-type-member method E2|m1(lowered final self::E2% /* erasure=core::int, declared=! */ #this) → void
  ;
static extension-type-member method E2|get#m1(lowered final self::E2% /* erasure=core::int, declared=! */ #this) → () → void
  return () → void => self::E2|m1(#this);
static extension-type-member method E2|set#m2(lowered final self::E2% /* erasure=core::int, declared=! */ #this, dynamic _) → void
  ;
static extension-type-member method E2|set#m3(lowered final self::E2% /* erasure=core::int, declared=! */ #this, dynamic _) → void
  ;
static extension-type-member method E2|get#m4(lowered final self::E2% /* erasure=core::int, declared=! */ #this) → dynamic
  ;
static method test() → void
  ;