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

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

typedef A<X extends core::Object? = dynamic> = self::B<X%>% /* erasure=core::int, declared=! */;
extension type B<T extends core::Object? = dynamic>(core::int it) {
  abstract extension-type-member representation-field get it() → core::int;
  get g0 = self::B|get#g0;
  get g1 = self::B|get#g1;
  get g2 = self::B|get#g2;
  get g3 = self::B|get#g3;
  get g4 = self::B|get#g4;
  get g5 = self::B|get#g5;
  get g6 = self::B|get#g6;
  get g7 = self::B|get#g7;
  constructor • = self::B|constructor#;
  constructor tearoff • = self::B|constructor#_#new#tearOff;
  constructor named = self::B|constructor#named;
  constructor tearoff named = self::B|constructor#_#named#tearOff;
  static factory fact = self::B|constructor#fact;
  static factory tearoff fact = self::B|constructor#_#fact#tearOff;
  static redirecting-factory redirect = self::B|constructor#redirect;
  static redirecting-factory tearoff redirect = self::B|constructor#_#redirect#tearOff;
}
static extension-type-member method B|constructor#<T extends core::Object? = dynamic>(core::int it) → self::B<self::B|constructor#::T%>% /* erasure=core::int, declared=! */ {
  lowered final self::B<self::B|constructor#::T%>% /* erasure=core::int, declared=! */ #this = it;
  return #this;
}
static extension-type-member method B|constructor#_#new#tearOff<T extends core::Object? = dynamic>(core::int it) → self::B<self::B|constructor#_#new#tearOff::T%>% /* erasure=core::int, declared=! */
  return self::B|constructor#<self::B|constructor#_#new#tearOff::T%>(it);
static extension-type-member method B|constructor#named<T extends core::Object? = dynamic>(core::int it) → self::B<self::B|constructor#named::T%>% /* erasure=core::int, declared=! */ {
  lowered final self::B<self::B|constructor#named::T%>% /* erasure=core::int, declared=! */ #this = it;
  return #this;
}
static extension-type-member method B|constructor#_#named#tearOff<T extends core::Object? = dynamic>(core::int it) → self::B<self::B|constructor#_#named#tearOff::T%>% /* erasure=core::int, declared=! */
  return self::B|constructor#named<self::B|constructor#_#named#tearOff::T%>(it);
static extension-type-member method B|constructor#fact<T extends core::Object? = dynamic>(core::int it) → self::B<self::B|constructor#fact::T%>% /* erasure=core::int, declared=! */
  return self::B|constructor#<self::B|constructor#fact::T%>(it);
static extension-type-member method B|constructor#_#fact#tearOff<T extends core::Object? = dynamic>(core::int it) → self::B<self::B|constructor#_#fact#tearOff::T%>% /* erasure=core::int, declared=! */
  return self::B|constructor#fact<self::B|constructor#_#fact#tearOff::T%>(it);
static extension-type-member method B|constructor#redirect<T extends core::Object? = dynamic>(core::int it) → self::B<self::B|constructor#redirect::T%>% /* erasure=core::int, declared=! */ /* redirection-target: self::B|constructor#<self::B|constructor#redirect::T%>*/
  return self::B|constructor#<self::B|constructor#redirect::T%>(it);
static extension-type-member method B|constructor#_#redirect#tearOff<T extends core::Object? = dynamic>(core::int it) → self::B<self::B|constructor#_#redirect#tearOff::T%>% /* erasure=core::int, declared=! */
  return self::B|constructor#<self::B|constructor#_#redirect#tearOff::T%>(it);
static extension-type-member method B|get#g0<T extends core::Object? = dynamic>(lowered final self::B<self::B|get#g0::T%>% /* erasure=core::int, declared=! */ #this) → dynamic
  return self::B|constructor#<dynamic>(1);
static extension-type-member method B|get#g1<T extends core::Object? = dynamic>(lowered final self::B<self::B|get#g1::T%>% /* erasure=core::int, declared=! */ #this) → dynamic
  return #C1;
static extension-type-member method B|get#g2<T extends core::Object? = dynamic>(lowered final self::B<self::B|get#g2::T%>% /* erasure=core::int, declared=! */ #this) → dynamic
  return self::B|constructor#named<dynamic>(1);
static extension-type-member method B|get#g3<T extends core::Object? = dynamic>(lowered final self::B<self::B|get#g3::T%>% /* erasure=core::int, declared=! */ #this) → dynamic
  return #C2;
static extension-type-member method B|get#g4<T extends core::Object? = dynamic>(lowered final self::B<self::B|get#g4::T%>% /* erasure=core::int, declared=! */ #this) → dynamic
  return self::B|constructor#fact<dynamic>(1);
static extension-type-member method B|get#g5<T extends core::Object? = dynamic>(lowered final self::B<self::B|get#g5::T%>% /* erasure=core::int, declared=! */ #this) → dynamic
  return #C3;
static extension-type-member method B|get#g6<T extends core::Object? = dynamic>(lowered final self::B<self::B|get#g6::T%>% /* erasure=core::int, declared=! */ #this) → dynamic
  return self::B|constructor#<dynamic>(1);
static extension-type-member method B|get#g7<T extends core::Object? = dynamic>(lowered final self::B<self::B|get#g7::T%>% /* erasure=core::int, declared=! */ #this) → dynamic
  return #C4;
static method main() → void {}

constants  {
  #C1 = static-tearoff self::B|constructor#_#new#tearOff
  #C2 = static-tearoff self::B|constructor#_#named#tearOff
  #C3 = static-tearoff self::B|constructor#_#fact#tearOff
  #C4 = static-tearoff self::B|constructor#_#redirect#tearOff
}