pkg/front_end/testcases/extension_types/issue53720.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;
  set m = self::E1|set#m;
  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 m = self::E2|m;
  method tearoff m = self::E2|get#m;
  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#m(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|m(lowered final self::E2% /* erasure=core::int, declared=! */ #this) → void
  ;
static extension-type-member method E2|get#m(lowered final self::E2% /* erasure=core::int, declared=! */ #this) → () → void
  return () → void => self::E2|m(#this);
static method test() → void
  ;