pkg/front_end/testcases/extension_types/issue53936.dart.strong.expect

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

typedef TypeAlias<T extends core::Object? = dynamic> = T%;
extension type E<T extends core::Object? = dynamic>(core::Object? o) {
  abstract extension-type-member representation-field get o() → core::Object?;
  constructor • = self::E|constructor#;
  constructor tearoff • = self::E|constructor#_#new#tearOff;
  constructor cast = self::E|constructor#cast;
  constructor tearoff cast = self::E|constructor#_#cast#tearOff;
}
extension type TypeOf<T extends core::Object? = dynamic>(T% _) {
  abstract extension-type-member representation-field get _() → T%;
  constructor • = self::TypeOf|constructor#;
  constructor tearoff • = self::TypeOf|constructor#_#new#tearOff;
}
static extension-type-member method E|constructor#<T extends core::Object? = dynamic>(core::Object? o) → self::E<self::E|constructor#::T%>% /* erasure=core::Object?, declared=! */ {
  lowered final self::E<self::E|constructor#::T%>% /* erasure=core::Object?, declared=! */ #this = o;
  return #this;
}
static extension-type-member method E|constructor#_#new#tearOff<T extends core::Object? = dynamic>(core::Object? o) → self::E<self::E|constructor#_#new#tearOff::T%>% /* erasure=core::Object?, declared=! */
  return self::E|constructor#<self::E|constructor#_#new#tearOff::T%>(o);
static extension-type-member method E|constructor#cast<T extends core::Object? = dynamic>(core::Object? v) → self::E<self::E|constructor#cast::T%>% /* erasure=core::Object?, declared=! */ {
  lowered final self::E<self::E|constructor#cast::T%>% /* erasure=core::Object?, declared=! */ #this;
  #this = self::E|constructor#<self::E|constructor#cast::T%>(v as self::E|constructor#cast::T%);
  return #this;
}
static extension-type-member method E|constructor#_#cast#tearOff<T extends core::Object? = dynamic>(core::Object? v) → self::E<self::E|constructor#_#cast#tearOff::T%>% /* erasure=core::Object?, declared=! */
  return self::E|constructor#cast<self::E|constructor#_#cast#tearOff::T%>(v);
static extension-type-member method TypeOf|constructor#<T extends core::Object? = dynamic>(self::TypeOf|constructor#::T% _) → self::TypeOf<self::TypeOf|constructor#::T%>% /* erasure=self::TypeOf|constructor#::T%, declared=! */ {
  lowered final self::TypeOf<self::TypeOf|constructor#::T%>% /* erasure=self::TypeOf|constructor#::T%, declared=! */ #this = _;
  return #this;
}
static extension-type-member method TypeOf|constructor#_#new#tearOff<T extends core::Object? = dynamic>(self::TypeOf|constructor#_#new#tearOff::T% _) → self::TypeOf<self::TypeOf|constructor#_#new#tearOff::T%>% /* erasure=self::TypeOf|constructor#_#new#tearOff::T%, declared=! */
  return self::TypeOf|constructor#<self::TypeOf|constructor#_#new#tearOff::T%>(_);
static method main() → void {
  #C1;
  #C1;
  #C1;
  #C1;
  #C1;
}

constants  {
  #C1 = "a"
}