pkg/front_end/testcases/general/issue56633.dart.strong.transformed.expect

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

typedef F<unrelated T extends core::Object? = dynamic, unrelated S extends T% = dynamic> = core::int;
typedef G<invariant T extends core::Object? = dynamic> = <S extends T% = dynamic>() → core::int;
abstract class A<T extends core::Object? = dynamic> extends core::Object {
  covariant-by-class field <S extends self::A::T% = dynamic>(S%) → self::A::T% foo = <S extends self::A::T%>(S% s) → S% => s;
  synthetic constructor •() → self::A<self::A::T%>
    : super core::Object::•()
    ;
}
static method method<T extends core::Object? = dynamic>(<S extends self::method::T% = dynamic>() → S% f) → <S extends self::method::T% = dynamic>() → self::method::T%
  return f;
static synthetic method /* from org-dartlang-sdk:///sdk/lib/_internal/vm_shared/lib/integers_patch.dart */ _#F#fromEnvironment#tearOff<unrelated T extends core::Object? = dynamic, unrelated S extends self::_#F#fromEnvironment#tearOff::T% = dynamic>(core::String name, {core::int defaultValue = #C1}) → core::int
  return core::int::fromEnvironment(name, defaultValue: defaultValue);

constants  {
  #C1 = 0
}