pkg/front_end/testcases/extension_types/procedures.dart.strong.modular.expect

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

extension type Class(core::int it) {
  abstract extension-type-member representation-field get it() → core::int;
  method instanceMethod = self::Class|instanceMethod;
  method tearoff instanceMethod = self::Class|get#instanceMethod;
  get instanceGetter = self::Class|get#instanceGetter;
  method instanceMethod2 = self::Class|instanceMethod2;
  method tearoff instanceMethod2 = self::Class|get#instanceMethod2;
  method genericInstanceMethod = self::Class|genericInstanceMethod;
  method tearoff genericInstanceMethod = self::Class|get#genericInstanceMethod;
  static method staticMethod = self::Class|staticMethod;
  static method genericStaticMethod = self::Class|genericStaticMethod;
  constructor _ = self::Class|constructor#_;
  constructor tearoff _ = self::Class|constructor#_#_#tearOff;
}
extension type GenericClass<T extends core::Object? = dynamic>(T% it) {
  abstract extension-type-member representation-field get it() → T%;
  method instanceMethod = self::GenericClass|instanceMethod;
  method tearoff instanceMethod = self::GenericClass|get#instanceMethod;
  get instanceGetter = self::GenericClass|get#instanceGetter;
  method instanceMethod2 = self::GenericClass|instanceMethod2;
  method tearoff instanceMethod2 = self::GenericClass|get#instanceMethod2;
  method genericInstanceMethod = self::GenericClass|genericInstanceMethod;
  method tearoff genericInstanceMethod = self::GenericClass|get#genericInstanceMethod;
  static method staticMethod = self::GenericClass|staticMethod;
  static method genericStaticMethod = self::GenericClass|genericStaticMethod;
  constructor _ = self::GenericClass|constructor#_;
  constructor tearoff _ = self::GenericClass|constructor#_#_#tearOff;
}
static extension-type-member method Class|constructor#_(core::int it) → self::Class% /* erasure=core::int, declared=! */ {
  lowered final self::Class% /* erasure=core::int, declared=! */ #this = it;
  return #this;
}
static extension-type-member method Class|constructor#_#_#tearOff(core::int it) → self::Class% /* erasure=core::int, declared=! */
  return self::Class|constructor#_(it);
static extension-type-member method Class|instanceMethod(lowered final self::Class% /* erasure=core::int, declared=! */ #this) → void {
  self::Class% /* erasure=core::int, declared=! */ local = #this;
  void localM = self::Class|instanceMethod(#this);
  () → void localT = self::Class|get#instanceMethod(#this);
  core::int localG = self::Class|get#instanceGetter(#this);
}
static extension-type-member method Class|get#instanceMethod(lowered final self::Class% /* erasure=core::int, declared=! */ #this) → () → void
  return () → void => self::Class|instanceMethod(#this);
static extension-type-member method Class|get#instanceGetter(lowered final self::Class% /* erasure=core::int, declared=! */ #this) → core::int
  return 42;
static extension-type-member method Class|instanceMethod2(lowered final self::Class% /* erasure=core::int, declared=! */ #this, core::String s, [core::int i = #C1]) → void {
  self::Class% /* erasure=core::int, declared=! */ local = #this;
  core::String localS = s;
  core::int localI = i;
  core::String localG1 = self::Class|genericInstanceMethod<core::String>(#this, s);
  core::int localG2 = self::Class|genericInstanceMethod<core::int>(#this, i);
  core::num localG3 = self::Class|genericInstanceMethod<core::num>(#this, i);
}
static extension-type-member method Class|get#instanceMethod2(lowered final self::Class% /* erasure=core::int, declared=! */ #this) → (core::String, [core::int]) → void
  return (core::String s, [core::int i = #C1]) → void => self::Class|instanceMethod2(#this, s, i);
static extension-type-member method Class|genericInstanceMethod<S extends core::Object? = dynamic>(lowered final self::Class% /* erasure=core::int, declared=! */ #this, self::Class|genericInstanceMethod::S% s) → self::Class|genericInstanceMethod::S%
  return s;
static extension-type-member method Class|get#genericInstanceMethod(lowered final self::Class% /* erasure=core::int, declared=! */ #this) → <S extends core::Object? = dynamic>(S%) → S%
  return <S extends core::Object? = dynamic>(S% s) → S% => self::Class|genericInstanceMethod<S%>(#this, s);
static extension-type-member method Class|staticMethod() → void {
  self::Class|staticMethod();
  core::int localG1 = self::Class|genericStaticMethod<core::int>(0);
  core::String localG2 = self::Class|genericStaticMethod<core::String>("");
  core::num localG3 = self::Class|genericStaticMethod<core::num>(0);
}
static extension-type-member method Class|genericStaticMethod<S extends core::Object? = dynamic>(self::Class|genericStaticMethod::S% s) → self::Class|genericStaticMethod::S%
  return s;
static extension-type-member method GenericClass|constructor#_<T extends core::Object? = dynamic>(self::GenericClass|constructor#_::T% it) → self::GenericClass<self::GenericClass|constructor#_::T%>% /* erasure=self::GenericClass|constructor#_::T%, declared=! */ {
  lowered final self::GenericClass<self::GenericClass|constructor#_::T%>% /* erasure=self::GenericClass|constructor#_::T%, declared=! */ #this = it;
  return #this;
}
static extension-type-member method GenericClass|constructor#_#_#tearOff<T extends core::Object? = dynamic>(self::GenericClass|constructor#_#_#tearOff::T% it) → self::GenericClass<self::GenericClass|constructor#_#_#tearOff::T%>% /* erasure=self::GenericClass|constructor#_#_#tearOff::T%, declared=! */
  return self::GenericClass|constructor#_<self::GenericClass|constructor#_#_#tearOff::T%>(it);
static extension-type-member method GenericClass|instanceMethod<T extends core::Object? = dynamic>(lowered final self::GenericClass<self::GenericClass|instanceMethod::T%>% /* erasure=self::GenericClass|instanceMethod::T%, declared=! */ #this) → void {
  self::GenericClass<self::GenericClass|instanceMethod::T%>% /* erasure=self::GenericClass|instanceMethod::T%, declared=! */ local = #this;
  void localM = self::GenericClass|instanceMethod<self::GenericClass|instanceMethod::T%>(#this);
  () → void localT = self::GenericClass|get#instanceMethod<self::GenericClass|instanceMethod::T%>(#this);
  self::GenericClass|instanceMethod::T% localG = self::GenericClass|get#instanceGetter<self::GenericClass|instanceMethod::T%>(#this);
}
static extension-type-member method GenericClass|get#instanceMethod<T extends core::Object? = dynamic>(lowered final self::GenericClass<self::GenericClass|get#instanceMethod::T%>% /* erasure=self::GenericClass|get#instanceMethod::T%, declared=! */ #this) → () → void
  return () → void => self::GenericClass|instanceMethod<self::GenericClass|get#instanceMethod::T%>(#this);
static extension-type-member method GenericClass|get#instanceGetter<T extends core::Object? = dynamic>(lowered final self::GenericClass<self::GenericClass|get#instanceGetter::T%>% /* erasure=self::GenericClass|get#instanceGetter::T%, declared=! */ #this) → self::GenericClass|get#instanceGetter::T%
  return throw "";
static extension-type-member method GenericClass|instanceMethod2<T extends core::Object? = dynamic>(lowered final self::GenericClass<self::GenericClass|instanceMethod2::T%>% /* erasure=self::GenericClass|instanceMethod2::T%, declared=! */ #this, core::String s, {core::int i = #C1}) → void {
  self::GenericClass<self::GenericClass|instanceMethod2::T%>% /* erasure=self::GenericClass|instanceMethod2::T%, declared=! */ local = #this;
  core::String localS = s;
  core::int localI = i;
  core::String localG1 = self::GenericClass|genericInstanceMethod<self::GenericClass|instanceMethod2::T%, core::String>(#this, s);
  core::int localG2 = self::GenericClass|genericInstanceMethod<self::GenericClass|instanceMethod2::T%, core::int>(#this, i);
  core::num localG3 = self::GenericClass|genericInstanceMethod<self::GenericClass|instanceMethod2::T%, core::num>(#this, i);
}
static extension-type-member method GenericClass|get#instanceMethod2<T extends core::Object? = dynamic>(lowered final self::GenericClass<self::GenericClass|get#instanceMethod2::T%>% /* erasure=self::GenericClass|get#instanceMethod2::T%, declared=! */ #this) → (core::String, {i: core::int}) → void
  return (core::String s, {core::int i = #C1}) → void => self::GenericClass|instanceMethod2<self::GenericClass|get#instanceMethod2::T%>(#this, s, i: i);
static extension-type-member method GenericClass|genericInstanceMethod<T extends core::Object? = dynamic, S extends core::Object? = dynamic>(lowered final self::GenericClass<self::GenericClass|genericInstanceMethod::T%>% /* erasure=self::GenericClass|genericInstanceMethod::T%, declared=! */ #this, self::GenericClass|genericInstanceMethod::S% s) → self::GenericClass|genericInstanceMethod::S%
  return s;
static extension-type-member method GenericClass|get#genericInstanceMethod<T extends core::Object? = dynamic>(lowered final self::GenericClass<self::GenericClass|get#genericInstanceMethod::T%>% /* erasure=self::GenericClass|get#genericInstanceMethod::T%, declared=! */ #this) → <S extends core::Object? = dynamic>(S%) → S%
  return <S extends core::Object? = dynamic>(S% s) → S% => self::GenericClass|genericInstanceMethod<self::GenericClass|get#genericInstanceMethod::T%, S%>(#this, s);
static extension-type-member method GenericClass|staticMethod() → void {
  self::GenericClass|staticMethod();
  core::int localG1 = self::GenericClass|genericStaticMethod<core::int>(0);
  core::String localG2 = self::GenericClass|genericStaticMethod<core::String>("");
  core::num localG3 = self::GenericClass|genericStaticMethod<core::num>(0);
}
static extension-type-member method GenericClass|genericStaticMethod<S extends core::Object? = dynamic>(self::GenericClass|genericStaticMethod::S% s) → self::GenericClass|genericStaticMethod::S%
  return s;

constants  {
  #C1 = 42
}