pkg/front_end/testcases/inference/generic_methods_basic_downward_inference.dart.weak.transformed.expect

library test /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

static method f<S extends core::Object? = dynamic, T extends core::Object? = dynamic>(self::f::S% s) → self::f::T%
  return throw "";
static method test() → dynamic {
  core::String x = self::f<core::int, core::String>(42);
  core::String y = #C1<core::int, core::String>(42){(core::int) → core::String};
}

constants  {
  #C1 = static-tearoff self::f
}