pkg/front_end/testcases/inference/infer_throw_downwards.dart.strong.expect

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

static field Never x = throw self::f<dynamic>() as{TypeError} core::Object;
static method f<T extends core::Object? = dynamic>() → self::f::T%
  return throw "";
static method g() → void {
  Never x = throw self::f<dynamic>() as{TypeError} core::Object;
}
static method main() → dynamic {}