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

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

extension type E<T extends core::Object? = dynamic>(({required t: T%}) it) {
  abstract extension-type-member representation-field get it() → ({required t: T%});
  get t = self::E|get#t;
  constructor • = self::E|constructor#;
  constructor tearoff • = self::E|constructor#_#new#tearOff;
}
static extension-type-member method E|constructor#<T extends core::Object? = dynamic>(({required t: self::E|constructor#::T%}) it) → self::E<self::E|constructor#::T%>% /* erasure=({required t: self::E|constructor#::T%}), declared=! */ {
  lowered final self::E<self::E|constructor#::T%>% /* erasure=({required t: self::E|constructor#::T%}), declared=! */ #this = it;
  return #this;
}
static extension-type-member method E|constructor#_#new#tearOff<T extends core::Object? = dynamic>(({required t: self::E|constructor#_#new#tearOff::T%}) it) → self::E<self::E|constructor#_#new#tearOff::T%>% /* erasure=({required t: self::E|constructor#_#new#tearOff::T%}), declared=! */
  return self::E|constructor#<self::E|constructor#_#new#tearOff::T%>(it);
static extension-type-member method E|get#t<T extends core::Object? = dynamic>(lowered final self::E<self::E|get#t::T%>% /* erasure=({required t: self::E|get#t::T%}), declared=! */ #this) → self::E|get#t::T%
  return (#this as{Unchecked} ({required t: self::E|get#t::T%})).t{self::E|get#t::T%};
static method run<T extends core::Object? = dynamic>(self::E<self::run::T%>% /* erasure=({required t: self::run::T%}), declared=! */ e) → self::run::T%
  return block {
    self::run::T% #t1;
    final synthesized self::E<self::run::T%>% /* erasure=({required t: self::run::T%}), declared=! */ #0#0 = e;
    #L1:
    {
      {
        hoisted self::run::T% t;
        if(true) {
          t = self::E|get#t<self::run::T%>(#0#0);
          #t1 = t;
          break #L1;
        }
      }
    }
  } =>#t1;
static method main() → void {}