pkg/front_end/testcases/extension_types/procedures.dart.strong.outline.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=! */
  ;
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
  ;
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
  ;
static extension-type-member method Class|instanceMethod2(lowered final self::Class% /* erasure=core::int, declared=! */ #this, core::String s, [has-declared-initializer core::int i]) → void
  ;
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]) → 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%
  ;
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
  ;
static extension-type-member method Class|genericStaticMethod<S extends core::Object? = dynamic>(self::Class|genericStaticMethod::S% s) → self::Class|genericStaticMethod::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=! */
  ;
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
  ;
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%
  ;
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, {has-declared-initializer core::int i}) → void
  ;
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}) → 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%
  ;
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
  ;
static extension-type-member method GenericClass|genericStaticMethod<S extends core::Object? = dynamic>(self::GenericClass|genericStaticMethod::S% s) → self::GenericClass|genericStaticMethod::S%
  ;